How to get types including constraints out of TypecheckedModule

2015-09-17 Thread Daniel Gröber
Hi ghc-devs, I have a question and some code to ponder on for you all: In ghc-mod we have this very useful command to get the type of something in the middle of a module, i.e. not a toplevel binder. Essentially we just optain a TypecheckedModule and traverse the tm_typechecked_source and then extr

Renaming InstalledPackageId

2015-09-17 Thread Edward Z. Yang
Hello friends, During discussions with many people about Nix-like Cabal, it has emerged that InstalledPackageId is /really/ bad name. Consider: the commonly accepted definition of an InstalledPackageId in Nix is that it is morally a hash of all the inputs to compilation: the source code, the depe

GHC Weekly News - 2015/09/17

2015-09-17 Thread Austin Seipp
(This post is available online at https://ghc.haskell.org/trac/ghc/blog/weekly20150917) Hi *, Welcome for the latest entry in the GHC Weekly News. It's been a little while, but here we are! And your author has finally returned from his 8 week sabbatical, too! So without any futher ado, lets get

Re: HEADS UP: Need 7.10.3?

2015-09-17 Thread Sven Panne
Building Haddock documentation on Windows for larger packages (e.g. OpenGLRaw) is broken in 7.10.2, similar to linking: The reason is once again the silly Windows command line length limitation, so we need response files here, too. Haddock 2.16.1 already has support for this, but this seems to be b

RE: Making compilation results deterministic (#4012)

2015-09-17 Thread Simon Peyton Jones
| We don't currently have a good way to reproduce the problem from a | completely clean build, however it's easy to reproduce by doing two | builds and leaving the .hi files from the first build in place while | removing the .o files Indeed. But is determinism in the face of .hi file changes Par

Re: Making compilation results deterministic (#4012)

2015-09-17 Thread Bartosz Nitka
2015-09-16 12:18 GMT+01:00 Simon Peyton Jones : > > | My understanding is that currently, if you build a Haskell project > | from clean sources with ghc --make, then wipe all the .o/.hi files, > | and rebuild again from clean, with all the same flags and environment, > | you are unlikely to en

Re: Making compilation results deterministic (#4012)

2015-09-17 Thread Simon Marlow
On 16/09/2015 12:18, Simon Peyton Jones wrote: | My understanding is that currently, if you build a Haskell project | from clean sources with ghc --make, then wipe all the .o/.hi files, | and rebuild again from clean, with all the same flags and environment, | you are unlikely to end up with

Re: Is it possible to build ghc with static linkage to its dependencies?

2015-09-17 Thread Thomas Miedema
If it's just libgmp.so that is outdated, you could try uncommenting the line in build.mk.sample that says: libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp On Thu, Sep 17, 2015 at 5:34 AM, Hengchu Zhang < hengchu.zhang+ghc...@gmail.com> wrote: > Hi GHC Devs, > > I'd