- ghc-devs - Haskell.org

Testsuite change: CLEANUP=1 is now the default
by Thomas Miedema 30 Apr '16

30 Apr '16

Hello devs, by popular request (#9758), the testsuite will now clean up after itself after running the tests, removing generated files, saving you some 10G of diskspace in the worst case. If you want the old behavior back, you can do: ``` $ make test CLEANUP=0 ``` I updated https://ghc.haskell.org/trac/ghc/wiki/Building/RunningTests/Running. The cleaning itself is not perfect at the moment; some temporary files are not deleted. I have a solution for this in https://ghc.haskell.org/trac/ghc/ticket/11980 and https://phabricator.haskell.org/D1187. More about that later. Cheers, Thomas

1 0

Re: Bikeshedding request for GHCi's :type
by Johannes Waldmann 29 Apr '16

29 Apr '16

> .. :type should report the real type What about defaulting? Is it real? https://ghc.haskell.org/trac/ghc/ticket/11994 - J.W.

3 3

[ANNOUNCE] GHC 8.0.1 release candidate 4 available
by Ben Gamari 29 Apr '16

29 Apr '16

Hello Haskellers, The GHC team is happy to announce the availability of fourth release candidate of the Glasgow Haskell Compiler's 8.0.1 release. Source and binary distributions can be found at, http://downloads.haskell.org/~ghc/8.0.1-rc4/ This is the last of four candidates leading up to the 8.0.1 release, addressing nearly all of the known issues of the previous candidates. These include, * A type-checker panic triggered by use of Typeable on a kind-polymorphic type constructor (#11334) * A type-checker explosion where -XTypeInType would gobble up massive amounts of memory when used in a data instance (#11407) * A variety of other typechecker issues (#11811, #11797, #11813, #11814) * A build issue seen on OS X (#11828) * Template Haskell can now produce instances with OVERLAPP{ING,ABLE,ED} pragmas * Autoconf has improved version checks for libdw (#11820) * Typeable and hs-boot files now interact nicely (#11824) * The build system now checks for the broken Apple `nm` utility (#11823, #11744) * Various issues involving unexpected laziness resulting in exception handlers not being invoked (#11555) * GHC now fails more gracefully when used with an older cabal-install release (#11558) * TypeInType now has proper documentation in the users guide (#11614) * The story surrounding type `RuntimeRep`s (formerly known as `Levity`) is now far better developed, closing several doors to unsafe behavior that TypeInType previously opened (#11473, #11723) * A long-standing bug in the constant-folding rules for `mod` for the `Word` type has been resolved (#11702) * Various issues introduced by OverloadedRecordFields have been fixed (#11662, #11401) * A regression in the typechecker resulting in the rejection of code in the `free` and `microlens` packages has been fixed (#11608) * A bug in the LLVM code generator which caused some programs to emit unbuildable LLVM IR has been fixed (#11649) * A bug where pattern synonyms defined in terms of a pattern match on a record would be rejected if the fields weren't written in the same order as they were defined has been resolved (#11633) * A bug in the runtime system's treatment of weak references which could result in segmentation faults in some cases has been fixed (#11108) * a variety of optimizations improving compiler performance have been merged * and many others Mac OS X users should be aware that the recent XCode 7.3 release ships with a broken `nm` utility which breaks the GHC build (#11744, #11823). The build system will check for this condition and request that the tree is configured to use the `nm-classic` utility if found. OS X users running XCode 7.3 are encouraged to open a ticket with Apple so that this issue may be fixed in future XCode releases. If no major issues pop up we expect that this will be the last release candidate before the final release, which we hope to push out in the coming weeks. Thanks to everyone who has contributed code, testing, builds, and bug reports thusfar! Cheers and happy testing, - Ben

3 2

Windows link failure
by Simon Peyton Jones 29 Apr '16

29 Apr '16

OK Windows is back. But all these fail with this error Stderr: /bin/sh: cc: command not found make[3]: *** [t_11223_simple_unused_duplicate_lib] Error 127 Simon rts/T11223 T11223_link_order_a_b_2_fail [bad exit code] (normal) rts/T11223 T11223_link_order_a_b_succeed [bad exit code] (normal) rts/T11223 T11223_link_order_b_a_2_succeed [bad exit code] (normal) rts/T11223 T11223_link_order_b_a_succeed [bad exit code] (normal) rts/T11223 T11223_simple_duplicate_lib [bad exit code] (normal) rts/T11223 T11223_simple_link [bad exit code] (normal) rts/T11223 T11223_simple_link_lib [bad exit code] (normal) rts/T11223 T11223_simple_unused_duplicate_lib [bad exit code] (normal)

2 4

better improvement for nm-classic message?
by Brandon Allbery 28 Apr '16

28 Apr '16

It's slower the first time it is run but should be fast afterward unless you switch active Xcode toolchains, as xcrun caches the result. --with-nm=$(xcrun --find nm-classic) -- brandon s allbery kf8nh sine nomine associates allbery.b(a)gmail.com ballbery(a)sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net

2 1

Every GHC-compiled program seg-fault (HEAD)
by Simon Peyton Jones 27 Apr '16

27 Apr '16

Does anyone feel able to look at https://ghc.haskell.org/trac/ghc/ticket/11988 The symptom is that every single GHC-compiled binary now seg-faults on Windows (with HEAD). That’s pretty serious. Can Travis pinpoint the offending commit? Simon

2 1

Custom Type Error not getting triggered in the nested Type function call
by Magesh B 27 Apr '16

27 Apr '16

Hello, I have partial type function which is invoked by another type function. When the inner type function fails with TypeError, outer type function is not been able to propagate that type error to its caller. As a result of it, I'm getting following error • No instance for (KnownSymbol (NestedPartialTF (TypeError ...))) instead of • Unexpected type @ NestedPartialTF: Char Is this a bug? This behavior seems bit counter-intuitive as to work around, I had to write another (duplicate) type function at the top level to get the desired type error I'm using GHC-8 RC 3 and have attached complete src for reference. Regards, Magesh B

2 1

perf.haskell.org’s list of branches got more useful
by Joachim Breitner 27 Apr '16

27 Apr '16

Hi, the list of branches on https://perf.haskell.org/ghc got more useful. It now shows the difference from the branch head to the merge base¹, which should roughly exhibit the performance change that would be caused by merging the branch into master. If the branch head or the merge base have not been measured (e.g. because the build failed), the display might be a bit confusing. Same with branches that often merge or cherry-pick from master. But in the common case of a linear, possibly rebased, feature branch, it should work fine. Greetings, Joachim ¹ Which, I think, is the youngest commit also reachable from master. Or something like that. Consult "man git merge-base" if you want a little mind teaser. -- Joachim “nomeata” Breitner mail(a)joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nomeata(a)joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nomeata(a)debian.org

4 9

Can we do something slightly nicer about (^)?
by David Feuer 26 Apr '16

26 Apr '16

Every time someone writes, say, x^20, the literal exponent defaults to Integer. This is the wrong default whenever the literal is in the Word range. Fixing this goes beyond the capabilities of RULES pragmas, but I imagine it would be a fairly simple thing to accomplish in the internal rule language. David

3 2

gcc5 and apple clang variants of mac ghc 8.0 rc4 build
by Carter Schonwald 25 Apr '16

25 Apr '16

since i've yet to dig into if any libgcc symbols ever get invoked, heres versions of the RC for mac built using gcc5 and apple clang respectively (in addition to the other one i've already provided that has a gcc6 libgcc dylib that seems to spuriously leak through) https://wellposed-carter-files.s3.amazonaws.com/opensource/ghc/releasebuild… shasum -a512 vanilla-clang-ghc-8.0.0.20160421-x86_64-apple-darwin.tar.xz 9105b097bb8036d6a77fc7bb87bcb0efff4ac7136232ac7ce109664ecae6e0e6757904f4a80de9120813530b979e7d90a36b4b28a1ef7bb9c371ab10a346c9dc vanilla-clang-ghc-8.0.0.20160421-x86_64-apple-darwin.tar.xz http://wellposed-carter-files.s3.amazonaws.com/opensource/ghc/releasebuild-… shasum -a512 vanilla-gcc5-ghc-8.0.0.20160421-x86_64-apple-darwin.tar.xz 43bb84fe73ac9e450d73a877022ba2ca514a08f69c18cac7367ed7038e9f7371b21cdaeef635aee345f9ba001a2fb5b527975e790f1b8d1c6f91bdf231e05090 vanilla-gcc5-ghc-8.0.0.20160421-x86_64-apple-darwin.tar.xz enjoy! -Carter

1 0