March 2018 - ghc-devs

Perf for T5837
by Simon Peyton Jones 05 Mar '18

05 Mar '18

Ben Why did you revert this? commit 2756117bd26c2cb70d3f51954a88b7d7bdf3d3f2 Author: Ben Gamari <ben(a)smart-cactus.org> Date: Thu Mar 1 14:06:04 2018 -0500 Revert "Better stats for T5837" This reverts commit d675a354e8db67d87d1f257c3d1d2bf2d58c2b3f. - (wordsize(64), 55813608, 7)]) + (wordsize(64), 51294232, 7)]) It's consistently 8% better for me, but I guess not for you. Does anyone else find this? Simon

3 2

ghcpkg05
by Simon Peyton Jones 05 Mar '18

05 Mar '18

ghcpkg05 is failing on my Linux box. Any ideas? This is a clean build. Simon =====> ghcpkg05(normal) 1 of 1 [0, 0, 0] cd "./ghcpkg05.run" && $MAKE -s --no-print-directory ghcpkg05 Actual stderr output differs from expected: diff -uw "./ghcpkg05.run/ghcpkg05.stderr.normalised" "./ghcpkg05.run/ghcpkg05.run.stderr.normalised" --- ./ghcpkg05.run/ghcpkg05.stderr.normalised 2018-03-05 12:02:14.828489599 +0000 +++ ./ghcpkg05.run/ghcpkg05.run.stderr.normalised 2018-03-05 12:02:14.828489599 +0000 @@ -10,6 +10,13 @@ cannot find any of ["C/D.hi","C/D.p_hi","C/D.dyn_hi"] cannot find any of ["C/E.hi","C/E.p_hi","C/E.dyn_hi"] cannot find any of ["libtestpkg-2.0-XXX.a","libtestpkg-2.0-XXX.p_a","libtestpkg-2.0-XXX-ghc<VERSION>.so","libtestpkg-2.0-XXX-ghc<VERSION>.dylib","testpkg-2.0-XXX-ghc<VERSION>.dll"] on library path +Warning: include-dirs: /5playpen/simonpj/HEAD-1/compiler/stage2/build/utils doesn't exist or isn't a directory +Warning: include-dirs: /5playpen/simonpj/HEAD-1/compiler/stage2/build/../rts/dist/build doesn't exist or isn't a directory +Warning: include-dirs: /5playpen/simonpj/HEAD-1/compiler/stage2/build/stage2 doesn't exist or isn't a directory +Warning: include-dirs: /5playpen/simonpj/HEAD-1/libraries/haskeline/dist-install/build/includes doesn't exist or isn't a directory +Warning: include-dirs: /5playpen/simonpj/HEAD-1/libraries/text/dist-install/build/include doesn't exist or isn't a directory +Warning: include-dirs: /5playpen/simonpj/HEAD-1/libraries/containers/dist-install/build/include doesn't exist or isn't a directory +Warning: include-dirs: /5playpen/simonpj/HEAD-1/libraries/bytestring/dist-install/build/include doesn't exist or isn't a directory The following packages are broken, either because they have a problem listed above, or because they depend on a broken package. *** unexpected failure for ghcpkg05(normal) Unexpected results from: TEST="ghcpkg05" SUMMARY for test run started at Mon Mar 5 12:02:14 2018 GMT 0:00:01 spent to go through 1 total tests, which gave rise to 1 test cases, of which 0 were skipped 0 had missing libraries 0 expected passes 0 expected failures 0 caused framework failures 0 caused framework warnings 0 unexpected passes 1 unexpected failures 0 unexpected stat failures Unexpected failures: ghcpkg05.run ghcpkg05 [bad stderr] (normal)

1 0

RE: tigetnum etc -- help!
by Simon Peyton Jones 05 Mar '18

05 Mar '18

| just to check the obvious, have you made sure to `git submodule | update` everything? have you properly cleaned your build-tree? Thanks. I did clean; and I usually obsessively do git submodule update, but I may have forgotten this time. I think for cabal and hsc2hs. Trying again now... Simon | -----Original Message----- | From: Herbert Valerio Riedel [mailto:hvriedel@gmail.com] | Sent: 05 March 2018 10:55 | To: Simon Peyton Jones <simonpj(a)microsoft.com> | Subject: Re: tigetnum etc -- help! | | Hi Simon, | | just to check the obvious, have you made sure to `git submodule | update` everything? have you properly cleaned your build-tree? | | -- hvr

1 1

tigetnum etc -- help!
by Simon Peyton Jones 05 Mar '18

05 Mar '18

My stage-1 build (from clean) has started failing thus (on Linux). Any ideas? It's pretty disabling because I can't build GHC any more. Simon make ===--- building phase 0 make --no-print-directory -f ghc.mk phase=0 phase_0_builds make[1]: Nothing to be done for 'phase_0_builds'. ===--- building phase 1 make --no-print-directory -f ghc.mk phase=1 phase_1_builds "/usr/local/bin/ghc" -o utils/ghc-pkg/dist/build/tmp/ghc-pkg -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall -package-db libraries/bootstrapping.conf -hide-all-packages -i -iutils/ghc-pkg/. -iutils/ghc-pkg/dist/build -Iutils/ghc-pkg/dist/build -iutils/ghc-pkg/dist/build/ghc-pkg/autogen -Iutils/ghc-pkg/dist/build/ghc-pkg/autogen -optP-DWITH_TERMINFO -optP-include -optPutils/ghc-pkg/dist/build/ghc-pkg/autogen/cabal_macros.h -package-id Cabal-2.1.0.0 -package-id base-4.10.0.0 -package-id binary-0.8.5.1 -package-id bytestring-0.10.8.2 -package-id containers-0.5.10.2 -package-id directory-1.3.0.2 -package-id filepath-1.4.1.2 -package-id ghc-boot-8.5 -package-id process-1.6.1.0 -package-id terminfo-0.4.1.1 -package-id unix-2.7.2.2 -XHaskell2010 -no-user-package-db -rtsopts -odir utils/ghc-pkg/dist/build -hidir utils/ghc-pkg/dist/build -stubdir utils/ghc-pkg/dist/build -static -O0 -H64m -Wall -package-db libraries/bootstrapping.conf -hide-all-packages -i -iutils/ghc-pkg/. -iutils/ghc-pkg/dist/build -Iutils/ghc-pkg/dist/build -iutils/ghc-pkg/dist/build/ghc-pkg/autogen -Iutils/ghc-pkg/dist/build/ghc-pkg/autogen -optP-DWITH_TERMINFO -optP-include -optPutils/ghc-pkg/dist/build/ghc-pkg/autogen/cabal_macros.h -package-id Cabal-2.1.0.0 -package-id base-4.10.0.0 -package-id binary-0.8.5.1 -package-id bytestring-0.10.8.2 -package-id containers-0.5.10.2 -package-id directory-1.3.0.2 -package-id filepath-1.4.1.2 -package-id ghc-boot-8.5 -package-id process-1.6.1.0 -package-id terminfo-0.4.1.1 -package-id unix-2.7.2.2 -XHaskell2010 -no-user-package-db -rtsopts utils/ghc-pkg/dist/build/Main.o utils/ghc-pkg/dist/build/Version.o /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):r6De_info: error: undefined reference to 'tigetnum' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):r6Df_info: error: undefined reference to 'tigetflag' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):r6Dg_info: error: undefined reference to 'tigetstr' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):s6Gn_info: error: undefined reference to 'set_curterm' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):s6Gb_info: error: undefined reference to 'set_curterm' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):s6I7_info: error: undefined reference to 'tparm' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):s6JP_info: error: undefined reference to 'set_curterm' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):s6JA_info: error: undefined reference to 'setupterm' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):s6Jn_info: error: undefined reference to 'set_curterm' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o):s6KR_info: error: undefined reference to 'tputs' /5playpen/simonpj/HEAD-1/libraries/terminfo/dist-boot/build/libHSterminfo-0.4.1.1.a(Base.o)(.data+0xdc8): error: undefined reference to 'del_curterm' collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) utils/ghc-pkg/ghc.mk:70: recipe for target 'utils/ghc-pkg/dist/build/tmp/ghc-pkg' failed make[1]: *** [utils/ghc-pkg/dist/build/tmp/ghc-pkg] Error 1 Makefile:122: recipe for target 'all' failed make: *** [all] Error 2 simonpj@cam-05-unx:~/5builds/HEAD-1$

2 2

Fwd: Type checking expressions
by Peter Podlovics 05 Mar '18

05 Mar '18

Hello everyone, I would like to ask for some advice regarding the type checker part of GHC. My goal is to determine the type of every expression, pattern etc. in the syntax tree. Currently the compiler doesn't store this information, so I have to type check manually. One important aspect is that the program may be ill-typed, but I still want to extract as much information as possible. I tried using local type checking functions (eg.: tcInferSigma), but whenever I used it on an expression that had some "out-of-scope" names in it, it failed. > f xs = length xs The reason was that xs was not in the local environment. My question is: how could I provide the necessary local environment for these type checking functions? Also in the general case, is it possible to somehow annotate each expression with its type during the type checking? The motivation for this is that I want to implement a tool that automatically corrects ill-typed programs based heuristics. For that I need to know the types of certain AST nodes. Peter Podlovics

2 1

Someone please delete my Trac report
by Simon Jakobi 03 Mar '18

03 Mar '18

Hi! Could someone with the appropriate permissions please delete report #26 "Interesting" at https://ghc.haskell.org/trac/ghc/report? When I saved my query I didn't expect that it would be visible to everyone. Cheers, Simon

2 1

Guarded Impredicativity implementation
by Artem Pelenitsyn 02 Mar '18

02 Mar '18

Dear ghc-devs, Is there any work has been done on the latest (ttbomk) proposal for impredicative types in Haskell: > Guarded impredicative polymorphism by Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones https://www.microsoft.com/en-us/research/wp-content/uploads/2017/07/impredi… Or are there any plans to do so? I wasn't able to spot any mentions of this in either of GHC's forums (this list, Trac, wiki, ghc-proposals repo). -- Best wishes, Artem Pelenitsyn

3 2