missing file

2015-06-18 Thread Simon Peyton Jones
I'm getting validate failures on HEAD. Missing file perhaps? Simon Unexpected failures: llvm/should_compile T8131b [exit code non-0] (optllvm) command line: does not exist: T8131b.cmm ___ ghc-devs mailing list ghc-devs@haskell.org

Re: expanding type synonyms in error messages

2015-06-18 Thread Christopher Allen
Just to add my own +1, having this when working with streaming libraries (I've needed it less with lens, oddly) would be a tremendous help for people learning them I think. I think I've run into the same thing as Kostiantyn in the past. On Thu, Jun 18, 2015 at 9:42 PM, Ömer Sinan Ağacan

Re: expanding type synonyms in error messages

2015-06-18 Thread Ömer Sinan Ağacan
It's good to see that I'm not the only one who wants this. I'm doing some GHC hacking nowadays and I'll give it a try. 2015-06-18 4:41 GMT-04:00 Kostiantyn Rybnikov k...@k-bx.com: I wanted to add that synonym expansion would be especially helpful in error-messages like: Expected type:

Native -XCPP Conclusion (was: RFC: Native -XCPP Proposal)

2015-06-18 Thread Herbert Valerio Riedel
Hello *, Following up on the Native -XCPP Proposal discussion, it appears that cpphs' current LGPL+SLE licensing doesn't pose an *objective* showstopper problem but is rather more of an inconvenience as it causes argumentation/discussion overhead (which then /may/ actually result in Haskell being

Re: expanding type synonyms in error messages

2015-06-18 Thread Kostiantyn Rybnikov
I wanted to add that synonym expansion would be especially helpful in error-messages like: Expected type: non-expanded, small type, like Producer a m () Actual type: your type, like Proxy a a' b b' m v I would be glad if we could have an expansions enabling flag in GHC, and could consider