- ghc-devs - Haskell.org

linux again
by Simon Peyton Jones 05 Apr '17

05 Apr '17

PS: a from-scratch build fell over like this (below). the time-library problem in my other message happened when I said 'sh validate -fast -no-clean'; that is, with -no-clean. Which is odd. Simoin checking for __gmpz_powm_sec in -lgmp... yes checking whether to use in-tree GMP... no checking gmp.h usability... yes checking gmp.h presence... yes checking for gmp.h... yes checking GMP version... 5.0.2 configure: creating ./config.status config.status: creating integer-gmp.buildinfo config.status: creating gmp/config.mk config.status: creating include/HsIntegerGmp.h configure: WARNING: unrecognized options: --with-compiler "/home/simonpj/5builds/HEAD-5/inplace/bin/ghc-pkg" update -v0 --force libraries/integer-gmp/dist-install/inplace-pkg-config integer-gmp-1.0.0.1: Warning: haddock-interfaces: /5playpen/simonpj/HEAD-5/libraries/integer-gmp/dist-install/doc/html/integer-gmp/integer-gmp.haddock doesn't exist or isn't a file <<ghc: 4852782432 bytes, 3574 GCs, 15628586/45742440 avg/max bytes residency (10 samples), 113M in use, 0.000 INIT (0.000 elapsed), 4.380 MUT (7.814 elapsed), 1.284 GC (1.363 elapsed) :ghc>> echo "compiler_stage2_depfile_haskell_EXISTS = YES" >> compiler/stage2/build/.depend-v-dyn.haskell.tmp for dir in compiler/stage2/build/./ compiler/stage2/build/CodeGen/ compiler/stage2/build/CodeGen/Platform/ compiler/stage2/build/Dwarf/ compiler/stage2/build/Hoopl/ compiler/stage2/build/Llvm/ compiler/stage2/build/LlvmCodeGen/ compiler/stage2/build/PPC/ compiler/stage2/build/RegAlloc/ compiler/stage2/build/RegAlloc/Graph/ compiler/stage2/build/RegAlloc/Linear/ compiler/stage2/build/RegAlloc/Linear/PPC/ compiler/stage2/build/RegAlloc/Linear/SPARC/ compiler/stage2/build/RegAlloc/Linear/X86/ compiler/stage2/build/RegAlloc/Linear/X86_64/ compiler/stage2/build/SPARC/ compiler/stage2/build/SPARC/CodeGen/ compiler/stage2/build/SysTools/ compiler/stage2/build/Vectorise/ compiler/stage2/build/Vectorise/Builtins/ compiler/stage2/build/Vectorise/Generic/ compiler/stage2/build/Vectorise/Monad/ compiler/stage2/build/Vectorise/Type/ compiler/stage2/build/Vectorise/Utils/ compiler/stage2/build/X86/; do if test ! -d $dir; then mkdir -p $dir; fi done grep -v ' : [a-zA-Z]:/' compiler/stage2/build/.depend-v-dyn.haskell.tmp > compiler/stage2/build/.depend-v-dyn.haskell.tmp2 sed -e '/hs$/ p' -e '/hs$/ s/o /hi /g' -e '/hs$/ s/:/ : %hi: %o /' -e '/hs$/ s/^/$(eval $(call hi-rule,/' -e '/hs$/ s/$/))/' -e '/hs-boot$/ p' -e '/hs-boot$/ s/o-boot /hi-boot /g' -e '/hs-boot$/ s/:/ : %hi-boot: %o-boot /' -e '/hs-boot$/ s/^/$(eval $(call hi-rule,/' -e '/hs-boot$/ s/$/))/' compiler/stage2/build/.depend-v-dyn.haskell.tmp2 > compiler/stage2/build/.depend-v-dyn.haskell make: *** [all] Error 2

1 0

Windows build
by Simon Peyton Jones 05 Apr '17

05 Apr '17

Dear Windows folk, Here's my testsuite output for a clean build on Windows last night. Rather a lot of failures - can we reduce them? Simon SUMMARY for test run started at Wed Apr 5 01:37:30 2017 GMTST 0:50:08 spent to go through 5822 total tests, which gave rise to 16777 test cases, of which 11077 were skipped 52 had missing libraries 5486 expected passes 152 expected failures 17 caused framework failures 0 caused framework warnings 0 unexpected passes 9 unexpected failures 1 unexpected stat failures Unexpected failures: ./backpack/cabal/bkpcabal07/bkpcabal07.run bkpcabal07 [bad exit code] (normal) ./backpack/cabal/bkpcabal06/bkpcabal06.run bkpcabal06 [bad exit code] (normal) ./plugins/T10420.run T10420 [bad exit code] (normal) ./plugins/plugins07.run plugins07 [bad exit code] (normal) ./plugins/T10294a.run T10294a [bad exit code] (normal) ./plugins/T11244.run T11244 [bad stderr] (normal) ./th/T13366.run T13366 [bad exit code] (normal) ./th/T13366.run T13366 [bad exit code] (ext-interp) ../../libraries/base/tests/IO/readwrite002.run readwrite002 [bad stdout] (normal) Unexpected stat failures: perf/compiler/T5837.run T5837 [stat too good] (normal) Framework failures: . registry001 [duplicate] (There are multiple tests with this name) . helloworld [duplicate] (There are multiple tests with this name) . lasterror [duplicate] (There are multiple tests with this name) . T4452 [duplicate] (There are multiple tests with this name) . PokeTZI [duplicate] (There are multiple tests with this name) . HandleConversion [duplicate] (There are multiple tests with this name) ./indexed-types/should_fail/T13102/T13102.run T13102 [runTest] (Unhandled exception: [Errno 90] Directory not empty: '/c/Users/simonpj/AppData/Local/Temp/ghctest-1gr0gzv9/test spaces/./indexed-types/should_fail/T13102/T13102.run/orphan/dist/package.conf.inplace') ./plugins/T10420.run T10420 [normal] (pre_cmd failed: 2) ./plugins/plugins07.run plugins07 [normal] (pre_cmd failed: 2) ./plugins/T10294a.run T10294a [normal] (pre_cmd failed: 2) ./plugins/T11244.run T11244 [normal] (pre_cmd failed: 2) ./safeHaskell/check/pkg01/safePkg01.run safePkg01 [runTest] (Unhandled exception: [Errno 90] Directory not empty: '/c/Users/simonpj/AppData/Local/Temp/ghctest-1gr0gzv9/test spaces/./safeHaskell/check/pkg01/safePkg01.run/pdb.safePkg01/install/x86_64-windows-ghc-8.3.20170324/safePkg01-1.0-EBB2cBBfiph67c3CwCtZOx') ./safeHaskell/check/pkg01/ImpSafeOnly06.run ImpSafeOnly06 [runTest] (Unhandled exception: [Errno 90] Directory not empty: '/c/Users/simonpj/AppData/Local/Temp/ghctest-1gr0gzv9/test spaces/./safeHaskell/check/pkg01/ImpSafeOnly06.run/pdb.ImpSafeOnly06/install/x86_64-windows-ghc-8.3.20170324/safePkg01-1.0-EBB2cBBfiph67c3CwCtZOx') ./safeHaskell/check/pkg01/ImpSafeOnly08.run ImpSafeOnly08 [runTest] (Unhandled exception: [Errno 90] Directory not empty: '/c/Users/simonpj/AppData/Local/Temp/ghctest-1gr0gzv9/test spaces/./safeHaskell/check/pkg01/ImpSafeOnly08.run/pdb.ImpSafeOnly08/install/x86_64-windows-ghc-8.3.20170324') ./simplCore/should_compile/T7702.run T7702 [runTest] (Unhandled exception: [Errno 90] Directory not empty: '/c/Users/simonpj/AppData/Local/Temp/ghctest-1gr0gzv9/test spaces/./simplCore/should_compile/T7702.run/T7702plugin/pkg.T7702/dist/package.conf.inplace') ../../libraries/Win32/tests/registry001.run registry001 [runTest] (Unhandled exception: [Errno 2] No such file or directory: '/c/Users/simonpj/AppData/Local/Temp/ghctest-1gr0gzv9/test spaces/../../libraries/Win32/tests/registry001.run/registry001.o') ../../libraries/base/tests/IO/hDuplicateTo001.run hDuplicateTo001 [runTest] (Unhandled exception: [Errno 90] Directory not empty: '/c/Users/simonpj/AppData/Local/Temp/ghctest-1gr0gzv9/test spaces/../../libraries/base/tests/IO/hDuplicateTo001.run') == Start post-testsuite package check GHC package manager version 8.3.20170324 Timestamp 2017-04-04 22:31:56.0162608 UTC for C:\code\HEAD\inplace\lib\package.conf.d\package.cache using cache: C:\code\HEAD\inplace\lib\package.conf.d\package.cache db stack: ["C:\\Users\\simonpj\\AppData\\Roaming\\ghc\\x86_64-mingw32-8.3.20170324\\package.conf.d","C:\\code\\HEAD\\inplace\\lib\\package.conf.d"] flag db stack: ["C:\\Users\\simonpj\\AppData\\Roaming\\ghc\\x86_64-mingw32-8.3.20170324\\package.conf.d","C:\\code\\HEAD\\inplace\\lib\\package.conf.d"] == End post-testsuite package check ------------------------------------------------------------------- Oops! Looks like you have some unexpected test results or framework failures. Please fix them before pushing/sending patches.

1 0

Windows 10 Creators Update will break GHC (Was FW: GHC on Windows 10 15019+)
by Sebastian Graf 04 Apr '17

04 Apr '17

Hi, when the Creators Update finally hits Windows 10 stable on April 11th (next week), every currently available GHC will be broken by it. See [1] for the previous discussion, [2] and [3] for the tickets discussing this. From what I read on the GHC 8.2 status wiki page, there might be an interval of some weeks where it will not be possible to compile a Haskell program on any up-to-date Windows 10 installation. I just wanted to raise awareness and offer myself to do guided grunt work (if there is any) to push out a hotfix/inplace patch release for GHC 8.0.2. Greetings, Sebastian [1] http://haskell.1045720.n5.nabble.com/FW-GHC-on-Windows-10-15019-td5853491.h… [2] https://ghc.haskell.org/trac/ghc/ticket/13411 [3] https://ghc.haskell.org/trac/ghc/ticket/13472

5 6

FW: [Haskell-cafe] [Call for Contributions] Haskell Communities and Activities Report, May 2017 edition (32nd edition)
by Simon Peyton Jones 03 Apr '17

03 Apr '17

Ben Will you coordinate the GHC status report for HCAR? Everyone: please don’t leave Ben doing all the heavy lifting. He'll sketch a structure but it's up to the rest of us to fill it in. These six monthly reports are widely read, I think. Simon -----Original Message----- From: Haskell-Cafe [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of Mihai Maruseac Sent: 03 April 2017 01:42 To: Haskell <haskell(a)haskell.org>; haskell <haskell-cafe(a)haskell.org>; Haskell Beginners <beginners(a)haskell.org> Subject: [Haskell-cafe] [Call for Contributions] Haskell Communities and Activities Report, May 2017 edition (32nd edition) Dear all, We would like to collect contributions for the 32nd edition (10000th edition) of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 April 2017 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: The usual format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2017/template.tex There is also a LaTeX style file at http://haskell.org/communities/05-2017/hcar.sty that you can use to preview your entry. If you do not know LaTeX or don't want to use it or don't have time to translate your entry into it, then please use plain text, it is better to have an entry in plain-text which we will translate than not have it at all. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/) The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

2 1

Translation of GHC typechecker output to haskell-src-exts's 'Type'
by Tom Sydney Kerckhove 03 Apr '17

03 Apr '17

Dear GHC Devs, Because of the unwieldy nature of the data that the GHC type checker outputs, I am trying to convert a GHC 'Type' [1] to a haskell-src-ext 'Type' [2]. The translation does not need to be perfect for now, but I would at least like to be able to translate function types and types that involve type-class constraints. (See my initial attempt in attachment) Has this ever been done before? Could you point me to some documentation on GHC's 'Type' [1] that could help me with writing this function? (The comments in code aren't nearly enough for me.) In particular, I am having trouble finding type class constraints in the 'Type'. Thank you for your time. [1]: https://downloads.haskell.org/~ghc/8.0.2/docs/html/libraries/ghc-8.0.2/src/… [2]: https://hackage.haskell.org/package/haskell-src-exts-1.18.2/docs/Language-H… -- Tom Sydney Kerckhove

3 5

D3316 status
by Ben Gamari 30 Mar '17

30 Mar '17

Hi Richard, It took me a bit longer than expected to get back to D3316 but I think I am now done. It wasn't quite as trivial as I thought it might be, so I thought I would summarize what was needed, 1. tcSplitTyConApp_maybe and tcRepSplitTyConApp_maybe have been moved from TcType to Type to avoid import loops. I'm not terribly happy with this change, but I spent a fair amount of time looking for alternatives and it seems this is the least evil. Moreover, there is precedent for this in tcRepSplitAppTy_maybe. It would be nice to refactor TcType and friends to avoid this loop. 2. TypeMap now respects the Constraint/Type distinction. I believe this is safe for the TypeMap uses in the typechecker itself. The only other use AFAICT is Specialise.CallKeySet, which I believe should also be fine under this change. 3. TcInteract.matchTypeable now handles Constraint explicitly. With all of this the T11715 test passes. I've uploaded my changes relative to your patch as D3396 for your review. However, I am a bit concerned with (2) as it runs contrary to your original implementation, which changed coreViewOneStarKind to coreView. What was the reasoning behind this? The motivation for moving to tcView here is the dictionary cache, which uses a TypeMap. Namely, if we solve for `Typeable Type`, and later look for `Typeable Constraint` in the dictionary cache, we will incorrectly find the `Typeable Type` dictionary. Thoughts? Cheers, - Ben

2 1

GHC 8.2.1 status
by Ben Gamari 28 Mar '17

28 Mar '17

Hello everyone, Here is your periodic release update. After a number of false-starts, the tree is finally approaching a releasable state. Last week I cut the ghc-8.2 branch and things have been stabilizing ever since. At this point we are waiting on only a couple more fixes before the rc1 source release can be cut, * #13474: To be addressed by Richard soon * #13410: To be addressed by Simon PJ shortly * #13333: To be addressed by Ben shortly * #13433: Simon Marow has a fix There are also a few issues that we have deemed not to block -rc1, but which must be addressed prior to the final release, * #13220: David will verify that * #13233: Ben will do a bit more digging, Simon PJ will think about it With luck we will be able to finish the -rc1 blockers in the next couple of days, allowing us to cut a source release by Tuesday or Wednesday. Cheers, - Your friendly release manager

3 3

Re: [commit: ghc] master: rts linker: Introduce MachOTypes (8ed29b5)
by Gabor Greif 27 Mar '17

27 Mar '17

This commit 8ed29b50376856018dfbbcbd6d728c69af0c9f29 introduced a compilation failure with gcc4.4 (my gcc). The typedef-name `SectionFormatInfo` is redefined. Here is the reason: http://stackoverflow.com/questions/6526322/why-redefinition-of-typedef-erro… I have a fix in testing, will commit shortly. Cheers, Gabor On 3/27/17, git(a)git.haskell.org <git(a)git.haskell.org> wrote: > Repository : ssh://git@git.haskell.org/ghc > > On branch : master > Link : > http://ghc.haskell.org/trac/ghc/changeset/8ed29b50376856018dfbbcbd6d728c69a… > >>--------------------------------------------------------------- > > commit 8ed29b50376856018dfbbcbd6d728c69af0c9f29 > Author: Moritz Angermann <moritz.angermann(a)gmail.com> > Date: Tue Mar 21 10:59:49 2017 -0400 > > rts linker: Introduce MachOTypes > > This diff introduces MachOTypes, to reduce the need to typing `struct` > all the time. It also coaleces the 64 and non 64 structs. It also adds > additional fiedls to the object code structure for macho, which makes > working with macho object code much simpler and requires less passing > around of variabls or address recomputation for the header, symbol > table, etc... > > Furthermore this diff introduces a type for a linked list of stubs. > > I had to move the #ifdef from the bottom of the file up, to be able to > extend the object code structure conditional on the use of the macho > file format. > > This is just one of the pieces for the rts linker > support for ios (aarch64-macho) > > --- > > The following diagram and legend tries to explain the dependencies a > bit: > ``` > .- D3240 > v > D3255 <- D3252 <- D3251 <- This > ^ > '- D3238 > ``` > > - In D3238 we started allowing preloading object code with mmap > in iOS, where we can't have r+w+x. > - In D3239 we introduced a richer extension of the object code > data type to make working with mach-o files easier. > - In D3240 we set the stage to allow loading archives (.a) on iOS > - In D3251 we added init and deinit functions to populate and > depopulate the enriched object code data structure for mach-o > files. > - In D3252 we refactored most of the MachO.c file to use the > new types and data structure. > - in D3255 we finally introduce the aarch64-mach-o linker. > > Reviewers: austin, erikd, simonmar, rwbarton, bgamari > > Subscribers: rwbarton, thomie, ryantrinkle > > Differential Revision: https://phabricator.haskell.org/D3239 > > >>--------------------------------------------------------------- > > 8ed29b50376856018dfbbcbd6d728c69af0c9f29 > rts/Linker.c | 6 +++ > rts/LinkerInternals.h | 28 +++++++++- > rts/linker/MachOTypes.h | 133 > ++++++++++++++++++++++++++++++++++++++++++++++++ > 3 files changed, 165 insertions(+), 2 deletions(-) > > Diff suppressed because of size. To see it, use: > > git diff-tree --root --patch-with-stat --no-color --find-copies-harder > --ignore-space-at-eol --cc 8ed29b50376856018dfbbcbd6d728c69af0c9f29 > _______________________________________________ > ghc-commits mailing list > ghc-commits(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-commits >

3 3

SPECIALISE INLINE pragma
by Matthew Pickering 27 Mar '17

27 Mar '17

The user guide says that "you can make GHC diverge by using SPECIALISE INLINE on an ordinarily-recursive function." Does anyone know the ticket or technique which causes this to happen? https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_ext… On the same topic, I also wrote a blog post simply explaining the essential things to know about the inliner and specialiser as I don't think they are generally appreciated. Comments welcome! http://mpickering.github.io/posts/2017-03-20-inlining-and-specialisation.ht… Matt

3 6

Building head on Openbsd
by Adam Steen 27 Mar '17

27 Mar '17

Hi I attempt to build head today on OpenBSD current and failed, but i not sure where to start to fix the problems. The full configure and build logs are attached. Just a note: ghc-8.0 builds fine, ghc-8.2 fails with the same error. the first error is "inplace/bin/ghc-stage1" -optc-std=gnu99 -optc-fno-stack-protector -optc-Wall -optc-Wall -optc-Wextra -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Wi nline -optc-Waggregate-return -optc-Wpointer-arith -optc-Wmissing-noreturn -optc-Wnested-externs -optc-Wredundant-decls -optc-Iincludes -optc-Iincludes/dist -optc-Iincludes/dist-derivedcons tants/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- O2 -optc-fomit-frame-pointer -optc-g -optc-DRtsWay=\"rts_v\" -optc-ffunction-sections -optc-fdata-sections -static -H32m -O -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconsta nts/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/Timer.c -o rts/dist/build/Timer.o In file included from rts/posix/Signals.h:13, from rts/RtsSignals.h:14, from rts/Timer.c:26:0: error: /usr/include/signal.h:72:0: error: warning: redundant redeclaration of '__errno' | 72 | extern int *__errno(void); | ^ and the last error is rts/linker/Elf.c:539:0: error: warning: unused variable 'secno' | 539 | Elf_Word secno = stab[j].st_shndx; | ^ `gcc' failed in phase `C Compiler'. (Exit code: 1) gmake[1]: *** [rts/ghc.mk:248: rts/dist/build/linker/Elf.o] Error 1 gmake: *** [Makefile:127: all] Error 2

4 5