January 2015 - ghc-devs

Cabal update fails
by Simon Peyton Jones 07 Jan '15

07 Jan '15

What does this mean (on Linux)? Thanks, Simon bash$ cabal update Downloading the latest package list from hackage.haskell.org cabal: <socket: 11>: resource vanished

2 2

RE: [Diffusion] [Build Failed] rGHC471891cb774a: Mark T9938 as expect_broken again
by Simon Peyton Jones 07 Jan '15

07 Jan '15

Phab says perf/compiler T3294 [stat not good enough] (normal) but it's not failing for me. Simon | -----Original Message----- | From: noreply(a)phabricator.haskell.org | [mailto:noreply@phabricator.haskell.org] | Sent: 07 January 2015 14:50 | To: Simon Peyton Jones | Subject: [Diffusion] [Build Failed] rGHC471891cb774a: Mark T9938 as | expect_broken again | | Harbormaster failed to build B2865: rGHC471891cb774a: Mark T9938 as | expect_broken again! | | USERS | simonpj (Author) | GHC - Testsuite (Auditor) | | COMMIT | https://phabricator.haskell.org/rGHC471891cb774a | | EMAIL PREFERENCES | https://phabricator.haskell.org/settings/panel/emailpreferences/ | | To: simonpj, GHC - Testsuite

1 0

Bash completion in GHC 7.10
by Lennart Kolmodin 07 Jan '15

07 Jan '15

Hi everybody! TL;DL GHC 7.10 will have better bash completion, try it out! I'd like your help to verify the categorisation of DynFlags into ghc / ghci / shared or hidden flags. I've been working on improving the command line completion support in GHC 7.10. The main idea is that it should be more convenient to use GHC from the command line, without knowing all the flags by heart. You should be able to partly type a flag and then hit TAB twice to display the possible completions. For example; $ ghc -f<TAB><TAB> If you'd like to try it out, here's what you need to do; $ cd ghc-head $ source completion/ghc.bash Et voilà! Your bash shell will now have these super powers! There's a README <https://github.com/ghc/ghc/blob/master/completion/README> with details for a permanent setup. End users should ultimately not have to do anything to get this working. Linux distributions, and packages for other OSs are responsible for copying the required file to the right location. GHC had some basic support for command line completion even before my work, but now it also includes two significant changes compared to GHC 7.8; - "ghc" and "ghci" has different completions. - GHC 7.10 will ship and maintain the necessary bash components (and the scripts you contribute for other shells!). To support different completions for ghc and ghci, the DynFlags have been annotated with which mode the flags works. How this works has been documented under "Note [Supporting CLI completion]". Essentially all flags have been divided into four groups; - Flags only useful for ghc - Flags only useful for ghci - Flags useful from both ghc and ghci - Flags that should be invisible I've made this categorisation best I could, but it'd be nice to have another few pair of eyes glance through the flags. The separation of flags is well contained within the DynFlags module, please have a look! https://github.com/ghc/ghc/blob/master/compiler/main/DynFlags.hs The work was implemented in D337 <https://phabricator.haskell.org/D337>, D532 <https://phabricator.haskell.org/D532> and D536 <https://phabricator.haskell.org/D536> and is tracked in trac #9259 <https://ghc.haskell.org/trac/ghc/ticket/9259>. Regards, Lennart

4 4

T9938 and T9939 failing
by Edward Z. Yang 07 Jan '15

07 Jan '15

Here's what I get, on a clean validate. =====> T9939(normal) 2555 of 4389 [0, 0, 0] cd ./typecheck/should_compile && '/home/hs01/ezyang/ghc-validate/inplace/bin/ghc-stage2' -fforc e-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn-tabs - fno-ghci-history -c T9939.hs -fno-warn-incomplete-patterns >T9939.comp.stderr 2>&1 Actual stderr output differs from expected: --- ./typecheck/should_compile/T9939.stderr 2015-01-06 13:51:47.089376284 -0800 +++ ./typecheck/should_compile/T9939.comp.stderr 2015-01-06 15:24:39.923007911 -0800 @@ -1 +1,18 @@ \ No newline at end of file +T9939.hs:5:7: + Redundant constraint: Eq a + In the type signature for: f1 :: (Eq a, Ord a) => a -> a -> Bool + +T9939.hs:9:7: + Redundant constraint: Eq a + In the type signature for: f2 :: (Eq a, Ord a) => a -> a -> Bool + +T9939.hs:13:7: + Redundant constraint: Eq b + In the type signature for: + f3 :: (Eq a, a ~ b, Eq b) => a -> b -> Bool + +T9939.hs:20:7: + Redundant constraint: Eq b + In the type signature for: + f4 :: (Eq a, Eq b) => a -> b -> Equal a b -> Bool *** unexpected failure for T9939(normal) =====> T9938(normal) 3401 of 4389 [0, 1, 0] cd ./driver && $MAKE -s --no-print-directory T9938 </dev/null >T9938.run.stdout 2>T9938.run. stderr Wrong exit code (expected 0 , actual 2 ) Stdout: Makefile:592: recipe for target 'T9938' failed Stderr: T9938.o: In function `r3Ho_info': (.text+0x52): undefined reference to `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziSta teziLazzy_zdwzdcp1Alternative_info' collect2: error: ld returned 1 exit status make[3]: *** [T9938] Error 1 *** unexpected failure for T9938(normal) Edward

2 1

Re: T9938 and T9939 failing
by Mikolaj Konarski 07 Jan '15

07 Jan '15

This looks like the result of the new cool patch by SPJ that detects redundant constraints. IIRC, it was supposed to be added to -Wall, but disabled for validate, at least for packages out of our control.

1 0

Updating submodules
by Simon Peyton Jones 06 Jan '15

06 Jan '15

Herbert, or anyone, I'm very confused about the workflow for updating submodules. I want to update several (to remove redundant constraints from contexts) which are maintained by GHC HQ. But for libraries/parallel I find: * There is no .git/config in libraries/parallel. (Whereas there is for another submodule, libraries/hoopl.) * There is, however, a .git file which points to .git/modules/libraries/parallel * In .git/modules/libraries/parallel/config, I see a url of https://git.haskell.org/packages/parallel.git. But I can't push to this URL. * That matches the url in https://ghc.haskell.org/trac/ghc/wiki/Repositories, but contradicts the url in 'packages', which says ssh://git@github.com/haskell/parallel.git * I don't understand what URL should be expected for submodules with "-" in the 'upstream url' column of the 'packages' file. It says "-" means 'this is a submodule', but parallel is certainly a submodule and doesn't have "-". But so is hoopl, which does have "-". I tried a minimal change of adding pushurl = ssh://git@git.haskell.org/packages/hoopl.git to .git/modules/libraries/parallel/config. But when I tried to push I got simonpj@cam-05-unx:~/code/HEAD-2/libraries/parallel$ git push Counting objects: 7, done. Delta compression using up to 32 threads. Compressing objects: 100% (4/4), done. Writing objects: 100% (4/4), 410 bytes, done. Total 4 (delta 3), reused 0 (delta 0) remote: W refs/heads/master packages/parallel simonpj DENIED by refs/.* remote: error: hook declined to update refs/heads/master To ssh://git@git.haskell.org/packages/parallel.git ! [remote rejected] HEAD -> master (hook declined) error: failed to push some refs to 'ssh://git@git.haskell.org/packages/parallel.git' So I'm thoroughly stuck. I can't push my main patch until I push the submodule patches. What do I do? And would it be possible to update the wiki pages to make this clear? Especially * https://ghc.haskell.org/trac/ghc/wiki/Repositories * https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git/Submodules Thanks Simon

4 6

RE: breakages due to redundant constraint removals?
by Simon Peyton Jones 06 Jan '15

06 Jan '15

| ..ah, I see, so we'll need some CPP to retain compatiblity with stable | GHCs (as parallel and deepseq have -- before your commit -- been | compatible with all stable GHC 7.x releases)... yes, I suppose so. Or, I suppose, we could revert my changes to parallel and deepseq, and add -fno-warn-redundant-constraints at the top (I suppose *that* would need cpp). And then remember in n years time to take it out. Because of the n years time issue I'm inclined to the former solution, because at least it's clear: "if compiling with GHC <= 7.10, use this signature, else that one". Simon | | | | > | > Simon | > | > | -----Original Message----- | > | From: Herbert Valerio Riedel [mailto:hvriedel@gmail.com] | > | Sent: 06 January 2015 22:03 | > | To: Simon Peyton Jones | > | Subject: breakages due to redundant constraint removals? | > | | > | Hello Simon, | > | | > | I just noticed that your recent commit to deepseq, had a devastating | > | effect: | > | | > | https://travis-ci.org/haskell/deepseq/builds/46063392 | > | | > | | > | similiarly for parallel: | > | | > | https://travis-ci.org/haskell/parallel/builds/46062982 | > | | > | | > | ...did you notice that as well? | > | | > | Cheers, | > | hvr | | -- | "Elegance is not optional" -- Richard O'Keefe

1 0

API Annotations status report
by Alan & Kim Zimmerman 06 Jan '15

06 Jan '15

A quick status report on API Annotations. I have managed to integrate the API Annotations into the ghc-7.10 branch of HaRe [1], with a test comand to simply roundtrip the source. So the command ghc-hare roundtrip filename.hs will produce a file 'filename.refactored.hs' which should be the same as the original, except it does not preserve trailing whitespace or tabs. This makes use of the updated ghc-mod for 7.10 [2], and ghc-exactprint [3] However this only works for the ghc-7.10 branch with D538 [4] applied. Regards Alan [1] https://github.com/alanz/HaRe/tree/ghc-7.10 [2] https://github.com/DanielG/ghc-mod [3] https://github.com/alanz/ghc-exactprint/tree/wip [4] https://phabricator.haskell.org/D538

1 0

Compiling nofib-analyse
by Simon Peyton Jones 05 Jan '15

05 Jan '15

When building nofib-analyse (in nofib), I get /home/simonpj/local/bin/ghc -O -cpp --make Main -o nofib-analyse Main.hs:14:18: Could not find module 'Text.Html' Use -v to see a list of the files searched for. There are rather a lot of HTML packages. Which one is needed? Does this meant that it's essential to install this package before running nofib, a manual step? I wonder if it'd be better to remove the HTML dependency, or make it optional? Simon

2 4

linker error on OSX (symbol not found "_iconv")
by Hemanth Kapila 04 Jan '15

04 Jan '15

Hi, On OSX Yosemite I am facing the following build failure while building from the master (please find the complete error at the bottom of the email): > ld: couldn't dlopen() /usr/lib/libdtrace.dylib: dlopen(/usr/lib/libdtrace.dylib, 1): Symbol not found: _iconv > Referenced from: /usr/lib/libmecabra.dylib > Expected in: /opt/local/lib/libiconv.2.dylib > in /usr/lib/libmecabra.dylib for architecture x86_64 > collect2: error: ld returned 1 exit status Can someone kindly point me what am doing wrong? FWIW, with the same configuration options, source distribution of ghc-7.8.4 from https://www.haskell.org/ghc/download_ghc_7_8_4 goes through successfully. I am using gcc (MacPorts gcc49 4.9.2_1) 4.9.2 Thanks, Hemanth The complete error message: ===--- building phase 0 /Library/Developer/CommandLineTools/usr/bin/make -r --no-print-directory -f ghc.mk phase=0 phase_0_builds make[1]: Nothing to be done for `phase_0_builds'. ===--- building phase 1 /Library/Developer/CommandLineTools/usr/bin/make -r --no-print-directory -f ghc.mk phase=1 phase_1_builds make[1]: Nothing to be done for `phase_1_builds'. ===--- building final phase /Library/Developer/CommandLineTools/usr/bin/make -r --no-print-directory -f ghc.mk phase=final all "rm" -f rts/dist/build/libHSrts-ghc7.11.20150103.dylib "inplace/bin/ghc-stage1" -this-package-key rts -shared -dynamic -dynload deploy -no-auto-link-packages -Lrts/dist/build -lffi -optl-Wl,-rpath -optl-Wl,@loader_path `cat rts/dist/libs.depend` rts/dist/build/Adjustor.dyn_o rts/dist/build/Arena.dyn_o rts/dist/build/Capability.dyn_o rts/dist/build/CheckUnload.dyn_o rts/dist/build/ClosureFlags.dyn_o rts/dist/build/Disassembler.dyn_o rts/dist/build/FileLock.dyn_o rts/dist/build/Globals.dyn_o rts/dist/build/Hash.dyn_o rts/dist/build/Hpc.dyn_o rts/dist/build/HsFFI.dyn_o rts/dist/build/Inlines.dyn_o rts/dist/build/Interpreter.dyn_o rts/dist/build/LdvProfile.dyn_o rts/dist/build/Linker.dyn_o rts/dist/build/Messages.dyn_o rts/dist/build/OldARMAtomic.dyn_o rts/dist/build/Papi.dyn_o rts/dist/build/Printer.dyn_o rts/dist/build/ProfHeap.dyn_o rts/dist/build/Profiling.dyn_o rts/dist/build/Proftimer.dyn_o rts/dist/build/RaiseAsync.dyn_o rts/dist/build/RetainerProfile.dyn_o rts/dist/build/RetainerSet.dyn_o rts/dist/build/RtsAPI.dyn_o rts/dist/build/RtsDllMain.dyn_o rts/dist/build/RtsFlags.dyn_o rts/dist/build/RtsMain.dyn_o rts/dist/build/RtsMessages.dyn_o rts/dist/build/RtsStartup.dyn_o rts/dist/build/RtsUtils.dyn_o rts/dist/build/STM.dyn_o rts/dist/build/Schedule.dyn_o rts/dist/build/Sparks.dyn_o rts/dist/build/Stable.dyn_o rts/dist/build/StaticPtrTable.dyn_o rts/dist/build/Stats.dyn_o rts/dist/build/StgCRun.dyn_o rts/dist/build/StgPrimFloat.dyn_o rts/dist/build/Task.dyn_o rts/dist/build/ThreadLabels.dyn_o rts/dist/build/ThreadPaused.dyn_o rts/dist/build/Threads.dyn_o rts/dist/build/Ticky.dyn_o rts/dist/build/Timer.dyn_o rts/dist/build/Trace.dyn_o rts/dist/build/WSDeque.dyn_o rts/dist/build/Weak.dyn_o rts/dist/build/hooks/FlagDefaults.dyn_o rts/dist/build/hooks/MallocFail.dyn_o rts/dist/build/hooks/OnExit.dyn_o rts/dist/build/hooks/OutOfHeap.dyn_o rts/dist/build/hooks/StackOverflow.dyn_o rts/dist/build/sm/BlockAlloc.dyn_o rts/dist/build/sm/Compact.dyn_o rts/dist/build/sm/Evac.dyn_o rts/dist/build/sm/GC.dyn_o rts/dist/build/sm/GCAux.dyn_o rts/dist/build/sm/GCUtils.dyn_o rts/dist/build/sm/MBlock.dyn_o rts/dist/build/sm/MarkWeak.dyn_o rts/dist/build/sm/Sanity.dyn_o rts/dist/build/sm/Scav.dyn_o rts/dist/build/sm/Storage.dyn_o rts/dist/build/sm/Sweep.dyn_o rts/dist/build/eventlog/EventLog.dyn_o rts/dist/build/posix/GetEnv.dyn_o rts/dist/build/posix/GetTime.dyn_o rts/dist/build/posix/Itimer.dyn_o rts/dist/build/posix/OSMem.dyn_o rts/dist/build/posix/OSThreads.dyn_o rts/dist/build/posix/Select.dyn_o rts/dist/build/posix/Signals.dyn_o rts/dist/build/posix/TTY.dyn_o rts/dist/build/Apply.dyn_o rts/dist/build/Exception.dyn_o rts/dist/build/HeapStackCheck.dyn_o rts/dist/build/PrimOps.dyn_o rts/dist/build/StgMiscClosures.dyn_o rts/dist/build/StgStartup.dyn_o rts/dist/build/StgStdThunks.dyn_o rts/dist/build/Updates.dyn_o rts/dist/build/AutoApply.dyn_o -optl-m64 -fPIC -dynamic -H64m -O0 -fasm -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -this-package-key rts -dcmm-lint -DDTRACE -i -irts -irts/dist/build -irts/dist/build/autogen -Irts/dist/build -Irts/dist/build/autogen -O2 -fno-use-rpaths -o rts/dist/build/libHSrts-ghc7.11.20150103.dylib ld: couldn't dlopen() /usr/lib/libdtrace.dylib: dlopen(/usr/lib/libdtrace.dylib, 1): Symbol not found: _iconv Referenced from: /usr/lib/libmecabra.dylib Expected in: /opt/local/lib/libiconv.2.dylib in /usr/lib/libmecabra.dylib for architecture x86_64 collect2: error: ld returned 1 exit status make[1]: *** [rts/dist/build/libHSrts-ghc7.11.20150103.dylib] Error 1 make: *** [all] Error 2

2 3