Re: [core libraries] Re: Tightening up on inferred type signatures

2014-04-29 Thread Edward Kmett
Not sure. An even simpler case is something like exporting a Traversal but not exporting Data.Traversable, which appears in the expansion, etc. These sorts of things happen in code using lens. Older versions of lens didn't export all of the types needed to write out the type signature long hand w

Re: [core libraries] Re: Tightening up on inferred type signatures

2014-04-29 Thread Ganesh Sittampalam
On 23/04/2014 20:04, dm-list-haskell-librar...@scs.stanford.edu wrote: > Edward Kmett writes: > >> You can wind up in perfectly legitimate situations where the name for the >> type you are working with isn't in scope, but where you can write a >> combinator that would infer to have that type. I'd

Re: how to compile non-dynamic ghc-7.8.2 ?

2014-04-29 Thread John Lato
Hi Simon, Thanks very much for this response. I believe you're correct; ghc -e 'System.Environment.getEnvironment' segfaults with my ghc build. John On Tue, Apr 29, 2014 at 10:36 AM, Simon Marlow wrote: > On 25/04/2014 02:15, John Lato wrote: > >> Hello, >> >> I'd like to compile ghc-7.8.2 w

GHC rewrite rules and constructor wrappers?

2014-04-29 Thread Conal Elliott
I'm trying to sort out the relationship of GHC rewrite rules and constructor wrappers. I have rules like > "reify/(:<)" reifyEP (:<) = kPrim VecSP This rule seems to fire for `reifyEP ($W:<)` rather than `reifyEP (:<)`. If I'm tracking (uncertain), `($W:<)` inlines to `(:<)`. Sometimes I'm able t

Re: how to compile non-dynamic ghc-7.8.2 ?

2014-04-29 Thread Jason Dagit
On Tue, Apr 29, 2014 at 10:36 AM, Simon Marlow wrote: > On 25/04/2014 02:15, John Lato wrote: > >> Hello, >> >> I'd like to compile ghc-7.8.2 with DynamicGhcPrograms disabled (on >> 64-bit linux). I downloaded the source tarball, added >> >> DYNAMIC_GHC_PROGRAMS = NO >> >> to mk/build.mk

Re: how to compile non-dynamic ghc-7.8.2 ?

2014-04-29 Thread Simon Marlow
On 25/04/2014 02:15, John Lato wrote: Hello, I'd like to compile ghc-7.8.2 with DynamicGhcPrograms disabled (on 64-bit linux). I downloaded the source tarball, added DYNAMIC_GHC_PROGRAMS = NO to mk/build.mk , and did ./configure && ./make. ghc builds and everything seems to