- ghc-devs - Haskell.org

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

An idea for a different style of metaprogramming evaluation using the optimiser
by Matthew Pickering 28 Feb '18

28 Feb '18

I've had an idea for a while of a different way we could evaluate TH-like splices which would be more lightweight and easier to work with. The idea is to create a third quotation/splicing mechanism which has no introspection (like MetaML) but then to evaluate these quotes and splices in the optimiser rather than using the bytecode interpreter. I am motivated by the many examples of recursive functions in libraries, which when given a statically known argument should be able to be unrolled to produce much better code. It is understandable that the compiler doesn't try to do this itself but there should be an easy way for the user to direct the compiler to do so. (See also https://www.reddit.com/r/haskell/comments/7yvb43/ghc_compiletime_evaluation/) An example to be concrete: Take the power function such that power k n computes k^n. power :: Int -> Int -> Int power k n = if n == 0 then 1 else k * power k (n - 1) If we statically know n then we can create a staged version. We use R to indicate that an argument is dynamically known. power :: R Int -> Int -> R Int power k n = if n == 0 then .< 1 >. else .< ~k * ~(power k (n-1)) >. One way to implement this in Haskell is to use typed template haskell quoting and splicing. The key thing to notice about why this works is that in order to splice `power k (n-1)` we need to evaluate `power k (n-1)` so that we have something of type `R Int` which we can then splice back into the quote. The way this is currently implemented is that the bytecode interpreter runs these splices in order to find out what they evaluate to. The idea is that instead, we add another mode which runs splices in the core-to-core optimiser. The optimiser performs evaluation by beta reduction, inlining and constant folding. For simple definitions on algebraic data types it does a very good job of eliminating overhead. As long as the call is not recursive. If we can just get the optimiser to inline recursive calls in a controlled manner as well, it should do a good job on the unrolled definition. The benefits of this are that it works across all platforms and fits nicely already into the compilation pipeline. It also fits in nicely with the intuition that a "quote" means to stop evaluating and a "splice" means to evaluate. A disadvantage is that the optimiser is only a *partial* evaluator rather than an evaluator. It gets stuck evaluating things containing primitives and so on. I don't forsee this as a major issue but a limitation that library authors should be aware of when writing their staged programs. To go back to the power example, the recursive condition would have to be an inductively defined natural (data N = Z | S N) rather than an Int as the comparison operator for integers can't be evaluated by the optimiser. It is already rather easy to write staged programs which loop if you don't carefully consider the staging so this seems now worse than the status quo. Does this sound at all sensible to anyone else? Matt

3 4

Help with build ordering issue
by Sylvain Henry 26 Feb '18

26 Feb '18

Hi, @Bodigrim is working on a patch (https://phabricator.haskell.org/D4212) to fix #14170. The build fails because of interface file errors: "bad interface file" for GHC.Natural and "failed to load interface" for GHC.Types. I suspect it is a wired-in module build ordering issue but I haven't been able to help fixing it. If anyone with more insights could help it would be much appreciated! Thanks, Sylvain

2 6

RE: [commit: ghc] master: testsuite: Bump allocations for T9630 (f57c305)
by Simon Peyton Jones 26 Feb '18

26 Feb '18

This is a reduction => good! "Bump" is usually bad. Simon | -----Original Message----- | From: ghc-commits [mailto:ghc-commits-bounces@haskell.org] On Behalf | Of git(a)git.haskell.org | Sent: 25 February 2018 21:58 | To: ghc-commits(a)haskell.org | Subject: [commit: ghc] master: testsuite: Bump allocations for T9630 | (f57c305) | | Repository : ssh://git@git.haskell.org/ghc | | On branch : master | Link : | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fghc.ha | skell.org%2Ftrac%2Fghc%2Fchangeset%2Ff57c3059d7c8b8e00bd3a9f9153c3520f | 6db14d4%2Fghc&data=04%7C01%7Csimonpj%40microsoft.com%7Cbff75d8952bc489 | 7f12608d57c9ae8c0%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6365519 | 27127060212%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz | IiLCJBTiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=Hk8Q%2FVgrwqEUkysgX3Stj5GO5t3YNeM04wALzV6ZZSE%3D&reserved=0 | | >--------------------------------------------------------------- | | commit f57c3059d7c8b8e00bd3a9f9153c3520f6db14d4 | Author: Ben Gamari <ben(a)smart-cactus.org> | Date: Sun Feb 25 16:23:39 2018 -0500 | | testsuite: Bump allocations for T9630 | | | >--------------------------------------------------------------- | | f57c3059d7c8b8e00bd3a9f9153c3520f6db14d4 | testsuite/tests/perf/compiler/all.T | 3 ++- | 1 file changed, 2 insertions(+), 1 deletion(-) | | diff --git a/testsuite/tests/perf/compiler/all.T | b/testsuite/tests/perf/compiler/all.T | index 1ae69e7..1a2413a 100644 | --- a/testsuite/tests/perf/compiler/all.T | +++ b/testsuite/tests/perf/compiler/all.T | @@ -1228,9 +1228,10 @@ test ('T9630', | [ compiler_stats_num_field('max_bytes_used', # Note [residency] | [(platform('x86_64-unknown-mingw32'), 39867088, 15), | # 2017-12-24: 34171816 (x64/Windows) | - (wordsize(64), 41568168, 15) | + (wordsize(64), 35324712, 15) | # initial: 56955240 | # 2017-06-07: 41568168 Stop the specialiser generating | loopy code | + # 2018-02-25: 35324712 It's not entirely clear | ]), | extra_clean(['T9630a.hi', 'T9630a.o']) | ], | | _______________________________________________ | ghc-commits mailing list | ghc-commits(a)haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h | askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | commits&data=04%7C01%7Csimonpj%40microsoft.com%7Cbff75d8952bc4897f1260 | 8d57c9ae8c0%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6365519271270 | 60212%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJB | TiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=2bTG4reUJV7m3RsSUMse20LChfZPcJP3Ea%2FQkgqmLFw%3D&reserved=0

2 1

GNU make file in ghc/utils folder
by Chris R. Timmons 23 Feb '18

23 Feb '18

I'm trying to add a new utility to the $(TOP)/ghc/utils folder. The utility has a make file, but I can't seem to get it to play nice with GHC's build system. The error I receive is "No rule to make target...". Here's a simple test environment that demonstrates the problem: --------------- 1. Create a new folder called $(TOP)/ghc/utils/testmake. 2. In the 'testmake' folder, create a file named "Makefile" with this content: dir = utils/testmake TOP = ../.. include $(TOP)/mk/sub-makefile.mk 3. In the 'testmake' folder, create a file named "ghc.mk" with this content (NOTE: My email app may have replaced the tab character before "@echo" with spaces.): $(eval $(call all-target,utils/testmake,utils/testmake/dummy_target)) utils/testmake/dummy_target: @echo Hello world! ---------------- Running make results in a "No rule to make target" error: $ make make -C ../.. all_utils/testmake make[1]: Entering directory '/home/ctimmons/ghc' ===--- building phase 0 make --no-print-directory -f ghc.mk phase=0 phase_0_builds make[2]: Nothing to be done for 'phase_0_builds'. ===--- building phase 1 make --no-print-directory -f ghc.mk phase=1 phase_1_builds make[2]: Nothing to be done for 'phase_1_builds'. ===--- building final phase make --no-print-directory -f ghc.mk phase=final all_utils/testmake make[2]: *** No rule to make target 'all_utils/testmake'. Stop. make[1]: *** [Makefile:127: all_utils/testmake] Error 2 make[1]: Leaving directory '/home/ctimmons/ghc' make: *** [../../mk/sub-makefile.mk:50: all] Error 2 However, running ghc.mk directly from the utils/testmake folder does not result in an error: $ make -C ../.. -f utils/testmake/ghc.mk make: Entering directory '/home/ctimmons/ghc' Hello world! make: Leaving directory '/home/ctimmons/ghc' What am I not understanding? Thanks. Chris

2 2