Re: Implementation idea for unboxed polymorphic types

That's a really good question, I think. I tried to make it working here: https://gist.github.com/osa1/00597c24a79816c7ef90/ In that code, just assume whenever you see a type or constructor with Ubx prefix it's just magically get unboxed. I added lots of inline comments about problems and results

uniqAway and collisions

Hi, I'm running into core lint issues [1] with my determinism patch [2] and they appear to come down to uniqAway coming up with a Unique that's already used in the expression. That creates a collision, making next substitution substitute more than it needs. I have 2 questions: 1. When is it

Generics

Hi Ryan In a fit of housekeeping I added a “Generics” keyword to the generics-related tickets that you are now masterminding, so that we can have an auto-generated list on the Generics home page https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/GenericDeriving Any progress you can make

Re: latest symlink

Possibly related, when I use hoogle to look up GHC things ("+ghc Unique", for instance) and try to click through to the haddocks, it always 404s. If I change the link from: https://downloads.haskell.org/~ghc/latest/docs/html/libraries/ghc/Unique.html#t:Unique to:

Re: Inlining of methods (dictionary accessors) in GHC 7.10?

Sorry for the editing error. I meant "Did something about change with ...". On Tue, Jan 5, 2016 at 9:38 PM, Conal Elliott wrote: > Did something about change with method inlining between GHC 7.8.2 and > 7.10.3? I don't mean methods attached to instances, but rather the method >

Re: Inlining of methods (dictionary accessors) in GHC 7.10?

I *think* we found our answer here: https://github.com/ghc/ghc/blob/2db18b8135335da2da9918b722699df684097be9/compiler/typecheck/TcInstDcls.hs#L158 On Tue, Jan 5, 2016 at 9:39 PM, Conal Elliott wrote: > Sorry for the editing error. I meant "Did something about change with ...".

Inlining of methods (dictionary accessors) in GHC 7.10?

Did something about change with method inlining between GHC 7.8.2 and 7.10.3? I don't mean methods attached to instances, but rather the method name itself, which I understand is defined as simple field accessors into a dictionary. I do inlining indirectly via HERMIT, and the method names are no

Re: latest symlink

Yeah, I had to ask for this once before and it broke again with a new GHC version, so I figured it wasn't the right solution. I take it most people don't use hoogle on the GHC codebase... but I find it useful to search by type signature. Thanks for the temporary fix though! On Tue, Jan 5, 2016

Re: uniqAway and collisions

Hello Bartosz, The principle between uniqAway is described in the "Secrets of the GHC Inliner" paper http://research.microsoft.com/en-us/um/people/simonpj/Papers/inlining/ I doubt there's a bug in uniqAway; it's more likely the in scope set is not correct. Edward Excerpts from Bartosz Nitka's

Re: latest symlink

Andrew Farmer writes: > Possibly related, when I use hoogle to look up GHC things ("+ghc > Unique", for instance) and try to click through to the haddocks, it > always 404s. > I've gone ahead and created a symlink for now. That being said, this seems like a very hacky