Re: Typeable

2015-04-01 Thread Richard Eisenberg
On Mar 26, 2015, at 10:50 AM, Richard Eisenberg wrote: > This is now on Phab as https://phabricator.haskell.org/D757 > > I'll be making some comments there. Comments made. ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bi

Re: How to better parallelize GHC build.

2015-04-01 Thread Karel Gardas
Hi Thomas, thanks for your suggestion. Also thanks for the PR number. I've tried with quick way (build.mk) and benchmarking ghc while compiling ghc-cabal manually and here are the results: -j1: 45s -j2: 28s -j3: 26s -j4: 24s -j5: 24s -j6: 25s -j6 -A32m: 23s -j6 -A64m: 21s -j6 -A128m: 23s re

Increased memory usage with GHC 7.10.1

2015-04-01 Thread Jan Stolarek
Forall hi, I just uprgaded both of my machines to use GHC 7.10.1. I keep sandboxed installations of GHC and this means I had to rebuild Agda and Idris because the binaries built with GHC 7.8.4 were stored inside deactivated 7.8.4 sandbox. Sadly, I had problems building both Agda and Idris due

Re: Bug: GHC creates incorrect code which throws <>

2015-04-01 Thread Jan Stolarek
Hi, I can confirm that the bug is reproducable on my system as well (64bit Debian Wheezy). Janek Dnia środa, 1 kwietnia 2015, Yongqian Li napisał: > Hi all, > > I wanted to bring to your attention this bug, > https://ghc.haskell.org/trac/ghc/ticket/10218 , which I filed about > two days ago but

Re: How to better parallelize GHC build.

2015-04-01 Thread Thomas Miedema
Hi Karel, could you try adding `-j8` to `SRC_HC_OPTS` for the build flavor you're using in `mk/build.mk`, and running `gmake -j8` instead of `gmake -j64`. A graph like the one you attached will likely look even worse, but the walltime of your build should hopefully be improved. The build system s