- ghc-devs - Haskell.org

testsuite failures on Mac
by Richard Eisenberg 07 Apr '17

07 Apr '17

Hi devs, On today's HEAD, I built from a cleaned tree and then ran the testsuite. I got gobs of errors. Here's one: --- ./T2713.run/T2713.stderr.normalised 2017-04-07 15:13:22.000000000 -0400 +++ ./T2713.run/T2713.comp.stderr.normalised 2017-04-07 15:13:22.000000000 -0400 @@ -1,8 +1,4 @@ - -T2713.hs:11:10: - The fixity signature for ‘.*.’ lacks an accompanying binding - (The fixity signature must be given where ‘.*.’ is declared) - -T2713.hs:12:1: - The type signature for ‘f’ lacks an accompanying binding - (The type signature must be given where ‘f’ is declared) +ghc-iserv.bin: +lookupSymbol failed in relocateSection (RELOC_GOT) +/Users/rae/ghc/ghc/libraries/integer-gmp/dist-install/build/HSinteger-<IMPL>-<VERSION>o: unknown symbol `___gmp_rands' +ghc: unable to load package `integer-<IMPL>-<VERSION>' *** unexpected failure for T2713(ext-interp) Although I have minor changes in some type-y stuff, nothing that should cause problems with ghc-iserv. Any thoughts? I'm on a Mac. Thanks! Richard

2 3

GHC Core simplifier question: turn off all passes?
by Christopher Done 07 Apr '17

07 Apr '17

Hi all, Just checking, if I want to see the Haskell code desugared to core BEFORE any simplification passes, is this the way to do it? bash-3.2$ cat > X.hs module X where it = (\x -> x * 2) 123 bash-3.2$ stack exec -- ghc -ddump-simpl X.hs -fforce-recomp -fmax-simplifier-iterations=0 -O0 [1 of 1] Compiling X ( X.hs, X.o ) ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 11, types: 3, coercions: 0} -- RHS size: {terms: 4, types: 1, coercions: 0} it :: Integer [GblId, Str=DmdType] it = * @ Integer GHC.Num.$fNumInteger 123 2 I was a bit surprised that the lambda is collapsed already with optimizations turned off and the simplifier iterations set to 0. I changed this to (\x -> x * x) and it produced a let instead. Is this just one of the things the HS->Core desugarer decides to do? Ciao!

3 5

Re: testsuite not in GHC 8.2.1-rc1 source tarball ?
by David Feuer 06 Apr '17

06 Apr '17

That's not really too surprising to me. The test suite is primarily intended for GHC developers, and at present only works reliably when GHC is compiled for validation. Including it in the distribution would force users who had no use for it to pay for it anyway. David FeuerWell-Typed, LLP -------- Original message --------From: George Colpitts <george.colpitts(a)gmail.com> Date: 4/6/17 9:39 AM (GMT-05:00) To: David Feuer <david(a)well-typed.com>, Jens Petersen <juhpetersen(a)gmail.com>, Ben Gamari <ben(a)well-typed.com> Cc: GHC developers <ghc-devs(a)haskell.org> Subject: Re: testsuite not in GHC 8.2.1-rc1 source tarball ? Thanks Brandon After downloading the source tarball and doing a build successfully I wanted to run the testsuite. You writeAs far as I know, the test suite is normally run from ghc/testsuite. That directory doesn't exist for me: pwd /Users/gcolpitts/Downloads/ghc-8.2.0.20170404/ghc bash-3.2$ ls testsuite ls: testsuite: No such file or directory bash-3.2$ so I guess the source tarball doesn't contain it and those who do a build can't test their build with the testsuite. I was hoping I could do that. I didn't think the libffi directories were the right place to run from but they were only testsuite directories that the find command gave me. Thanks againGeorge On Thu, Apr 6, 2017 at 2:10 AM David Feuer <david(a)well-typed.com> wrote: I'm not sure why you're trying to run things from the libffi directory. As far as I know, the test suite is normally run from ghc/testsuite. David FeuerWell-Typed, LLP -------- Original message --------From: George Colpitts <george.colpitts(a)gmail.com> Date: 4/5/17 9:17 PM (GMT-05:00) To: Jens Petersen <juhpetersen(a)gmail.com>, Ben Gamari <ben(a)well-typed.com> Cc: GHC developers <ghc-devs(a)haskell.org> Subject: Re: GHC 8.2.1-rc1 source tarball availability I'd like to run the testsuite on macOS but I am having trouble following the documentation at https://ghc.haskell.org/trac/ghc/wiki/Building/RunningTests/Running Do I need to download something in addition to the source tarball or am I making some mistake? Following is what I tried: pwd/Users/gcolpitts/Downloads/ghc-8.2.0.20170404/libffi# doc says: The commands on this page can all be executed from the testsuite directory.bash-3.2$ find . -name testsuite./libffi/build/testsuite./libffi/build/x86_64-apple-darwin/testsuitebash-3.2$ pushd libffi/build/x86_64-apple-darwin/testsuite~/Downloads/ghc-8.2.0.20170404/libffi/build/x86_64-apple-darwin/testsuite ~/Downloads/ghc-8.2.0.20170404bash-3.2$ make testmake: *** No rule to make target `test'. Stop.bash-3.2$ popd~/Downloads/ghc-8.2.0.20170404bash-3.2$ pushd libffi/build/testsuite~/Downloads/ghc-8.2.0.20170404/libffi/build/testsuite ~/Downloads/ghc-8.2.0.20170404bash-3.2$ make testmake: *** No rule to make target `test'. Stop.bash-3.2$ popd~/Downloads/ghc-8.2.0.20170404bash-3.2$ make test/Applications/Xcode.app/Contents/Developer/usr/bin/make -C testsuite/tests CLEANUP=1 SUMMARY_FILE=../../testsuite_summary.txtmake: *** testsuite/tests: No such file or directory. Stop.make: *** [test] Error 2 ThanksGeorge On Wed, Apr 5, 2017 at 9:43 PM Jens Petersen <juhpetersen(a)gmail.com> wrote: On 4 April 2017 at 13:21, Ben Gamari <ben(a)well-typed.com> wrote: I am happy to announce the release of the 8.2.1-rc1 source distribution to binary packagers. It seems to build okay for me on Fedora 26 so far. But the testsuite completely failed in timeout: see https://ghc.haskell.org/trac/ghc/ticket/13534 Cheers, Jens _______________________________________________ ghc-devs mailing list ghc-devs(a)haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

2 1

Phabricator upgrade tonight
by Ben Gamari 06 Apr '17

06 Apr '17

Unless someone objects I will be performing an upgrade of Phabricator tonight. I'll likely start around 23:00 EST (4:00 UTC). As usual, Phabricator may be down for anywhere from 10 minutes to a few hours, depending upon how things go. Cheers, - Ben

1 2

linux build broken
by Simon Peyton Jones 05 Apr '17

05 Apr '17

My linux build is broken. See below. Help! Simon libraries/time/ghc.mk:4: libraries/time/dist-install/build/.depend-v-dyn.haskell: No such file or directory "rm" -f libraries/time/dist-install/build/.depend-v-dyn.haskell.tmp "inplace/bin/ghc-stage1" -M -static -O0 -H64m -Wall -fllvm-fill-undef-with-garbage -Werror -Wcpp-undef -this-unit-id time-1.8.0.1 -hide-all-packages -i -ilibraries/time/lib -ilibraries/time/dist-install/build -Ilibraries/time/dist-install/build -ilibraries/time/dist-install/build/./autogen -Ilibraries/time/dist-install/build/./autogen -Ilibraries/time/lib/include -optP-DLANGUAGE_Rank2Types -optP-DLANGUAGE_DeriveDataTypeable -optP-DLANGUAGE_StandaloneDeriving -optP-include -optPlibraries/time/dist-install/build/./autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -Wall -fwarn-tabs -XHaskell2010 -XCPP -XRank2Types -XDeriveDataTypeable -XStandaloneDeriving -O -dcore-lint -dno-debug-output -ticky -no-user-package-db -rtsopts -Wno-deprecated-flags -Wnoncanonical-monad-instances -odir libraries/time/dist-install/build -hidir libraries/time/dist-install/build -stubdir libraries/time/dist-install/build -dep-makefile libraries/time/dist-install/build/.depend-v-dyn.haskell.tmp -dep-suffix "" -dep-suffix "dyn_" -include-pkg-deps libraries/time/lib/Data/Time/Calendar.hs libraries/time/lib/Data/Time/Calendar/MonthDay.hs libraries/time/lib/Data/Time/Calendar/OrdinalDate.hs libraries/time/lib/Data/Time/Calendar/WeekDate.hs libraries/time/lib/Data/Time/Calendar/Julian.hs libraries/time/lib/Data/Time/Calendar/Easter.hs libraries/time/lib/Data/Time/Clock.hs libraries/time/lib/Data/Time/Clock/System.hs libraries/time/lib/Data/Time/Clock/POSIX.hs libraries/time/lib/Data/Time/Clock/TAI.hs libraries/time/lib/Data/Time/LocalTime.hs libraries/time/lib/Data/Time/Format.hs libraries/time/lib/Data/Time.hs libraries/time/lib/Data/Time/Calendar/Private.hs libraries/time/lib/Data/Time/Calendar/Days.hs libraries/time/lib/Data/Time/Calendar/Gregorian.hs libraries/time/lib/Data/Time/Calendar/JulianYearDay.hs libraries/time/lib/Data/Time/Clock/Internal/DiffTime.hs libraries/time/lib/Data/Time/Clock/Internal/AbsoluteTime.hs libraries/time/lib/Data/Time/Clock/Internal/NominalDiffTime.hs libraries/time/lib/Data/Time/Clock/Internal/POSIXTime.hs libraries/time/lib/Data/Time/Clock/Internal/UniversalTime.hs libraries/time/lib/Data/Time/Clock/Internal/SystemTime.hs libraries/time/lib/Data/Time/Clock/Internal/UTCTime.hs libraries/time/lib/Data/Time/Clock/Internal/CTimeval.hs libraries/time/dist-install/build/Data/Time/Clock/Internal/CTimespec.hs libraries/time/lib/Data/Time/Clock/Internal/UTCDiff.hs libraries/time/lib/Data/Time/LocalTime/Internal/TimeZone.hs libraries/time/lib/Data/Time/LocalTime/Internal/TimeOfDay.hs libraries/time/lib/Data/Time/LocalTime/Internal/LocalTime.hs libraries/time/lib/Data/Time/LocalTime/Internal/ZonedTime.hs libraries/time/lib/Data/Time/Format/Parse.hs libraries/time/lib/Data/Time/Format/Locale.hs libraries/time/lib/Data/Time/Clock/Internal/SystemTime.hs:22:0: error: error: "HAVE_CLOCK_GETTIME" is not defined [-Werror=undef] | 22 | #elif HAVE_CLOCK_GETTIME | ^ libraries/time/lib/Data/Time/Clock/Internal/SystemTime.hs:70:0: error: error: "HAVE_CLOCK_GETTIME" is not defined [-Werror=undef] | 70 | #elif HAVE_CLOCK_GETTIME | ^ cc1: all warnings being treated as errors `gcc' failed in phase `C pre-processor'. (Exit code: 1) make[1]: *** [libraries/time/dist-install/build/.depend-v-dyn.haskell] Error 1 make: *** [all] Error 2 simonpj@cam-05-unx:~/5builds/HEAD-5$

3 3

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