- ghc-devs - Haskell.org

GHC archeology and git commit hashes
by Ismael Figueroa 18 Nov '16

18 Nov '16

Dear ghc devs, I'm doing some archeology of the GHC codebase, and I need to map every release to a given git tag/commit/hash. So far, based on the official webpage and Github mirror, I have done it for releases from 7.2.1 until 8.0.1. However, it is not clear to me: - whether there is a corresponding point in history for releases before 7.2.1 - what are the corresponding commits, if any >From what I can get at a glance, at this point in time the source code was managed in a DARCS repository, right? Would you please be so kind to point me in the right direction, in order to correctly perform this mapping? Thanks in advance! -- Ismael

2 1

RE: windows build
by Simon Peyton Jones 17 Nov '16

17 Nov '16

Whizzo! Window builds are up again. Thank you! Here are the errors I get, which seem more manageable. Simon Unexpected passes: rts/T7037.run T7037 [unexpected] (normal) Unexpected failures: ghci/prog003/prog003.run prog003 [bad exit code] (ghci) plugins/plugins07.run plugins07 [bad exit code] (normal) Unexpected stat failures: perf/haddock/haddock.compiler.run haddock.compiler [stat not good enough] (normal) perf/should_run/T876.run T876 [stat too good] (normal) Framework failures: plugins/plugins07.run plugins07 [normal] (pre_cmd failed: 2) | -----Original Message----- | From: Ben Gamari [mailto:ben@well-typed.com] | Sent: 17 November 2016 15:24 | To: Simon Peyton Jones <simonpj(a)microsoft.com> | Subject: RE: windows build | | Simon Peyton Jones <simonpj(a)microsoft.com> writes: | | > OK thank you. | > | > Meanwhile, what about the RTS error? | | A fix has been merged for the RTS issue | (b76958671cda1df9f6f0e1d54d681144d09cb06e). Tamar is still looking at the | testsuite driver issue (#12554) and has a suspicion that the issue is | file handle inheritance. He's going to try to put together a fix tonight. | | Cheers, | | - Ben

1 0

Linux -> Windows cross-compiling failed
by Bernard de la Paz 16 Nov '16

16 Nov '16

3 3

OverloadedRecordFields request for review
by Adam Gundry 16 Nov '16

16 Nov '16

Hi devs, I just wanted to draw your attention to the OverloadedRecordFields proposal [1], which I've just updated and now has a corresponding implementation ready for review on Phab [2]. I'd very much appreciate any feedback on either the design or implementation. Thanks, Adam [1] https://github.com/ghc-proposals/ghc-proposals/pull/6 [2] https://phabricator.haskell.org/D2708 -- Adam Gundry, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0

OSX build failing
by Matthew Pickering 14 Nov '16

14 Nov '16

Hi all, The OSX build is broken due to 55d535da10dd63bbaf03fb176ced7179087cd0d4 Should I revert the patch or is there a fix coming? Matt ===== commit 55d535da10dd63bbaf03fb176ced7179087cd0d4 Author: Simon Marlow <marlowsd(a)gmail.com> Date: Wed Nov 9 09:20:02 2016 +0000 Remove CONSTR_STATIC Summary: We currently have two info tables for a constructor * XXX_con_info: the info table for a heap-resident instance of the constructor, It has type CONSTR, or one of the specialised types like CONSTR_1_0 * XXX_static_info: the info table for a static instance of this constructor, which has type CONSTR_STATIC or CONSTR_STATIC_NOCAF. I'm getting rid of the latter, and using the `con_info` info table for both static and dynamic constructors. For rationale and more details see Note [static constructors] in SMRep.hs. I also removed these macros: `isSTATIC()`, `ip_STATIC()`, `closure_STATIC()`, since they relied on the CONSTR/CONSTR_STATIC distinction, and anyway HEAP_ALLOCED() does the same job. Test Plan: validate Reviewers: bgamari, simonpj, austin, gcampax, hvr, niteria, erikd Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2690 https://phabricator.haskell.org/rGHC

1 1

Non-working "-no-pie" test?
by Gabor Greif 14 Nov '16

14 Nov '16

Hi all, The test for checking "-no-pie" support of GCC doesn't seem to work. See below: $ gcc --version gcc (GCC) 4.4.7 20120313 (Red Hat 4.4.7-4) Copyright (C) 2010 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. $ echo 'int main() { return 0; }' > conftest.c $ if gcc -o conftest -no-pie conftest.c > /dev/null 2>&1 ; then echo YEP ; else echo NOPE ; fi YEP $ if gcc -o conftest -no-pie conftest.c ; then echo YEP ; else echo NOPE ; fi gcc: unrecognized option '-no-pie' YEP $ if gcc -o conftest -no-pie conftest.c > /dev/null ; then echo YEP ; else echo NOPE ; fi gcc: unrecognized option '-no-pie' YEP Is the test supposed to check that there is nothing output into stdout? If so, it seems to fail. It leads to lots of failures when "make test", because gcc gets chatty. Cheers, Gabor PS: I have bash 4.1.

2 1

T12041 failing?
by Simon Marlow 14 Nov '16

14 Nov '16

I just saw the error below in a validate with -DDEBUG. Anyone know about this? --- /tmp/ghctest-uhJ8rt/test spaces/./indexed-types/should_fail/T12041.run/T12041.stderr.normalised 2016-11-09 12:13:38.206501840 +0000 +++ /tmp/ghctest-uhJ8rt/test spaces/./indexed-types/should_fail/T12041.run/T12041.comp.stderr.normalised 2016-11-09 12:13:38.206501840 +0000 @@ -1,7 +1,17 @@ +ghc: panic! (the 'impossible' happened) + (GHC version 8.1.20161109 for x86_64-unknown-linux): + ASSERT failed! + i_axb + Call stack: + CallStack (from HasCallStack): + prettyCurrentCallStack, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable + callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable + assertPprPanic, called at compiler/typecheck/TcType.hs:<line>:<column> in <package-id>:TcType + Call stack: + CallStack (from HasCallStack): + prettyCurrentCallStack, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable + callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable + pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable + assertPprPanic, called at compiler/typecheck/TcType.hs:<line>:<column> in <package-id>:TcType -T12041.hs:12:15: - Expected kind â€˜i -> Constraintâ€™, - but â€˜(~) Intâ€™ has kind â€˜* -> Constraintâ€™ - In the type â€˜(~) Intâ€™ - In the type instance declaration for â€˜Obâ€™ - In the instance declaration for â€˜Category Iâ€™ +Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *** unexpected failure for T12041(normal)

2 2

build fail with latest 8.1 sources
by John Leo 13 Nov '16

13 Nov '16

Hi everyone, I'm trying to build the latest 8.1 sources on a Mac running El Capitan. I'm getting an error I'd never seen before and wonder if anyone has any pointers of how I might fix things. I blew away my GHC, re-cloned from github, reconfigured and I still get the same error. The following are the relevant output lines; the problem is that the template-haskell version doesn't seem to match. I'm not sure whether this is coming from the template-haskell in 8.1 or in 8.0.1 (which I'm using to build 8.1), but checking the latter I have version 2.11.0.0 which I assume should be sufficient. John -------------------- Configuring ghc-pkg-6.9... Configuring ghc-8.1... ghc-cabal: Encountered missing dependencies: template-haskell ==2.11.* && ==2.12.0.0 make[1]: *** [compiler/stage1/package-data.mk] Error 1 make[1]: *** Waiting for unfinished jobs.... make: *** [all] Error 2 ---------------- internal-229:~/haskell/ghc> cabal update (git)-[master] Downloading the latest package list from hackage.haskell.org Skipping download: local and remote files match. internal-229:~/haskell/ghc> cabal install template-haskell (git)-[master] Resolving dependencies... All the requested packages are already installed: template-haskell-2.11.0.0 Use --reinstall if you want to reinstall anyway.

3 5

Windows build broken -- again
by Simon Peyton Jones 13 Nov '16

13 Nov '16

Sigh. The Simon PJ Windows Buildbot reports "inplace/bin/ghc-stage1.exe" -optc-fno-stack-protector -optc-Wall -optc-Werror -optc-Wall -optc-Wextra -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Waggregate-return -optc-Wpointer-arith -optc-Wmissing-noreturn -optc-Wnested-externs -optc-Wredundant-decls -optc-Iincludes -optc-Iincludes/dist -optc-Iincludes/dist-derivedconstants/header -optc-Iincludes/dist-ghcconstants/header -optc-Irts -optc-Irts/dist/build -optc-DCOMPILING_RTS -optc-fno-strict-aliasing -optc-fno-common -optc-Irts/dist/build/./autogen -optc-Wno-error=inline -optc-O2 -optc-fomit-frame-pointer -optc-g -optc-DRtsWay=\"rts_v\" -optc-DWINVER=0x06000100 -static -O0 -H64m -Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -this-unit-id rts -dcmm-lint -i -irts -irts/dist/build -Irts/dist/build -irts/dist/build/./autogen -Irts/dist/build/./autogen -O2 -Wnoncanonical-monad-instances -c rts/CheckUnload.c -o rts/dist/build/CheckUnload.o In file included from rts\CheckUnload.c:16:0: error: rts\LinkerInternals.h:284:15: error: error: unknown type name 'UChar' STATIC_INLINE UChar * ^ rts\LinkerInternals.h: In function 'myindex': rts\LinkerInternals.h:288:11: error: error: 'UChar' undeclared (first use in this function) ((UChar*)base) + scale * index; ^ rts\LinkerInternals.h:288:11: error: note: each undeclared identifier is reported only once for each function it appears in rts\LinkerInternals.h:288:17: error: error: expected expression before ')' token ((UChar*)base) + scale * index; ^ rts\LinkerInternals.h:285:28: error: error: unused parameter 'base' [-Werror=unused-parameter] myindex ( int scale, void* base, int index ) ^ rts\LinkerInternals.h: At top level: rts\LinkerInternals.h:292:5: error: error: unknown type name 'UChar' UChar* name, ^ rts\LinkerInternals.h:293:5: error: error: unknown type name 'UChar' UChar* strtab); ^ cc1.exe: all warnings being treated as errors `gcc.exe' failed in phase `C Compiler'. (Exit code: 1) make[1]: *** [rts/ghc.mk:255: rts/dist/build/CheckUnload.o] Error 1 make[1]: *** Waiting for unfinished jobs.... make: *** [Makefile:127: all] Error 2 /c/code/HEAD-1$

3 2

GHC pretty printer philosophy
by Alan & Kim Zimmerman 13 Nov '16

13 Nov '16

I am currently working on #3384, with the intent of ensuring that parse (ppr (parse source)) == parse source I have hit the issue where foo :: (Int) has the parens reflected in the original parsed AST, but the types pretty printer goes to a lot of trouble to remove any parens not required to interpret the meaning of the type. So the question is, should the default ppr faithfully reproduce the source that was parsed to generate the given AST, or simplify it? >From a round-tripping perspective I prefer the former, but there are other use cases where the current behaviour is preferred. If the original is preferred, it can perhaps be enabled via a flag to the pretty printer, but before doing that I want to see if it actually matters. Alan

2 2