- ghc-devs - Haskell.org

Simon away
by Simon Peyton Jones 07 Aug '15

07 Aug '15

Friends, I'm going to be on holiday for 2 weeks. Back in action on 24 August. Simon

1 0

Master is not validating
by Simon Peyton Jones 06 Aug '15

06 Aug '15

| Indeed it appears that there is trouble on the `master` branch at the | moment. I'll be looking into this. I find it difficult to interpret Phab results. Eg https://phabricator.haskell.org/B5172 says both "failed" and "passed". Also the build logs displayed eg here https://phabricator.haskell.org/harbormaster/build/5394/?l=0 are truncated so you can't see what the exact failure was. But from the latter I'm guessing that the problem is: - I added a new warning - And I think validate uses -Wall and fails if any warning happens (which seems a bit brutal) The warnings are, I think legitimate. But I certainly don't want them to break the build. How to fix? * Remove -fwarn-all-missed-specialisations from -Wall. * Or add -fno-warn-all-missed-specialisations to validate I don't have a strong opinion. Can you do one or t'other? -fwarn-all-missed-specialisations says that there are overloaded functions being called without being specialised. That's quite interesting, and it's the kind of thing you'd like to see with "all warnings". But it's also perfectly reasonable to say "that's fine, I don't care that overloaded functions are being called". Are there any other warnings that -Wall does not include? That is, do we expect -Wall to mean "all" or just "nearly all"? I have no strong opinion. Apologies for causing this fuss. Simon | -----Original Message----- | From: noreply(a)phabricator.haskell.org | [mailto:noreply@phabricator.haskell.org] | Sent: 06 August 2015 10:56 | To: Simon Peyton Jones | Subject: [Differential] [Requested Changes To] D1133: Make derived | names deterministic | | bgamari requested changes to this revision. | bgamari added a comment. | This revision now requires changes to proceed. | | Indeed it appears that there is trouble on the `master` branch at the | moment. I'll be looking into this. | | The idea here looks reasonable, but what effect does this have on the | size of the build artifacts (e.g. object and interface files). It | seems like the names may grow substantially with this change. Could | you characterize this? | | Also, I would really like to see some haddocks on the top-level | bindings that are introduced here. | | | REPOSITORY | rGHC Glasgow Haskell Compiler | | REVISION DETAIL | https://phabricator.haskell.org/D1133 | | EMAIL PREFERENCES | https://phabricator.haskell.org/settings/panel/emailpreferences/ | | To: niteria, simonmar, simonpj, austin, bgamari | Cc: thomie

2 2

Strange Changelog.md formatting on Hackage
by Sven Panne 06 Aug '15

06 Aug '15

The formatting of https://hackage.haskell.org/package/StateVar-1.1.0.1/changelog is garbled, while the corresponding GitHub page https://github.com/haskell-opengl/StateVar/blob/master/CHANGELOG.md looks OK. Can somebody give me a hint why this happens? https://hackage.haskell.org/package/lens-4.12.3/changelog e.g. looks nice, but the markdown seems to be similar. Cheers, S.

2 2

Recent performance regressions
by Joachim Breitner 06 Aug '15

06 Aug '15

Dear Developers, yesterday, there were three commits showing up at https://perf.haskell.org/ghc/: https://perf.haskell.org/ghc/#revision/60297486fddd5c9695e2263c2ae46fa9 0f0feb9e 60297486fddd5c9695e2263c2ae46fa90f0feb9e Author: Ben Gamari <bgamari.foss(a)gmail.com> Drop custom mapM impl for [] nofib/allocs/cryptarithm2 + 64.55% nofib/allocs/k-nucleotide - 5.03% nofib/time/fannkuch-redux - 3.62% Did someone forget to run nofib here, or is this serious drop in performance in one case expected and something we condone? In that case, it should have been clearly noted in the commit message! https://perf.haskell.org/ghc/#revision/b12dba7829742de98a483645142c7962 b9dd9f3f b12dba7829742de98a483645142c7962b9dd9f3f Author: RyanGlScott <ryan.gl.scott(a)gmail.com> Make Exception datatypes into newtypes nofib/time/cryptarithm1 + 7.22% If you look at the graph, this is quite reproducible: https://perf.haskell.org/ghc/#graph/nofib/time/cryptarithm1;hl=b12dba78 29742de98a483645142c7962b9dd9f3f but I have no idea how that change could have that effect. Maybe some weird cache effect due to binary sizes or different code layout? It would be great to understand that! https://perf.haskell.org/ghc/#revision/22bbc1cf209d44b8bb8897ae7a35f9eb af411b10 commit 22bbc1cf209d44b8bb8897ae7a35f9ebaf411b10 Author: Takano Akio <aljee(a)hyper.cx> Make sure that `all`, `any`, `and`, and `or` fuse (#9848) nofib/allocs/circsim - 4.02% nofib/allocs/multiplier - 8.70% At least I do not only have bad news... Greetings, Joachim -- Joachim “nomeata” Breitner mail(a)joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata(a)joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata(a)debian.org

1 0

arc diff problems
by Edward Z. Yang 05 Aug '15

05 Aug '15

Hello friends, I too am having Arcanist problems (my libphutil and arcanist are at the latest head). Here's my error: [ezyang@hs01 ghc-quick]$ arc diff HEAD~ You have untracked files in this working copy. Working copy: /home/hs01/ezyang/ghc-quick/ Untracked changes in working copy: (To ignore these changes, add them to ".git/info/exclude".) testsuite/tests/driver/T9938 testsuite/tests/driver/T9938B testsuite/tests/driver/dynamicToo/dynamicToo001/d testsuite/tests/driver/dynamicToo/dynamicToo001/s testsuite/tests/driver/dynamicToo/dynamicToo005/A005.dyn_o-boot Ignore these untracked files and continue? [y/N] y Exception Field "testPlan" occurs twice in commit message! (Run with `--trace` for a full exception trace.) Here is the commit message in question: commit 80ef08619c315e35e439e50724afc5d3b3203895 Author: Edward Z. Yang <ezyang(a)cs.stanford.edu> Date: Fri Jul 24 15:13:49 2015 -0700 Unify hsig and hs-boot; add preliminary "hs-boot" merging. This patch drops the file level distinction between hs-boot and hsig; we figure out which one we are compiling based on whether or not there is a corresponding hs file lying around. To make the "import A" syntax continue to work for bare hs-boot files, we also introduce hs-boot merging, which takes an A.hi-boot and converts it to an A.hi when there is no A.hs file in scope. This will be generalized in Backpack to merge multiple A.hi files together; which means we can jettison the "load multiple interface files" functionality. This works automatically for --make, but for one-shot compilation we need a new mode: ghc --merge-requirements A will generate an A.hi/A.o from a local A.hi-boot file; Backpack will extend this mechanism further. Has Haddock submodule update to deal with change in msHsFilePath behavior. - This commit drops support for the hsig extension. Can we support it? It's annoying because the finder code is written with the assumption that where there's an hs-boot file, there's always an hs file too. To support hsig, you'd have to probe two locations. Easier to just not support it. - #10333 affects us, modifying an hs-boot still doesn't trigger recomp. - See compiler/main/Finder.hs: this diff is very skeevy, but it seems to work. - This code cunningly doesn't drop hs-boot files from the "drop hs-boot files" module graph, if they don't have a corresponding hs file. I have no idea if this actually is useful. Signed-off-by: Edward Z. Yang <ezyang(a)cs.stanford.edu> Test Plan: validate Reviewers: simonpj, austin, bgamari, spinda Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1098 It doesn't work even if I delete "Test Plan". Edward

1 2

arc patch
by Simon Peyton Jones 05 Aug '15

05 Aug '15

Friends I wanted to build a Phab ticket, so I tried arc patch D1069 but it failed, as below. What do I do now? Thanks Simon simonpj@cam-05-unx:~/code/HEAD-5$ arc patch D1069 You have untracked files in this working copy. Working copy: /home/simonpj/code/HEAD-5/ Untracked files in working copy: Foo compiler/basicTypes/T7287.stderr foo libraries/integer-gmp2/GNUmakefile libraries/integer-gmp2/ghc.mk spj-patch testsuite/tests/deriving/should_fail/T2604.hs testsuite/tests/deriving/should_fail/T2604.stderr testsuite/tests/deriving/should_fail/T5863a.hs testsuite/tests/deriving/should_fail/T5863a.stderr testsuite/tests/deriving/should_fail/T7800.hs testsuite/tests/deriving/should_fail/T7800.stderr testsuite/tests/typecheck/should_compile/T9999.hs typeable-msg Since you don't have '.gitignore' rules for these files and have not listed them in '.git/info/exclude', you may have forgotten to 'git add' them to your commit. Do you want to add these files to the commit? [y/N] N N Created and checked out branch arcpatch-D1069. Exception ERR-CONDUIT-CALL: API Method "differential.query" does not define these parameters: 'arcanistProjects'. (Run with --trace for a full exception trace.)

5 5

Typechecker / OverloadedStrings question 7.8 vs. 7.10
by Michael Karg 04 Aug '15

04 Aug '15

Hi devs, in the followin snippet: {-# LANGUAGE OverloadedStrings #-} import Data.Char (isAlphaNum) import Data.ByteString.Char8 as BS (all) main = print $ check str where check = BS.all (\x -> x `elem` valid || isAlphaNum x) -- Line 7 valid = "$_-" -- :: String -- Line 8 str = "foo_bar123" GHC 7.10 fails with the following errors (whereas 7.8 compiles without complaining): ghc --make "Testcase.hs" [1 of 1] Compiling Main ( Testcase.hs, Testcase.o ) Testcase.hs:7:31: No instance for (Foldable t0) arising from a use of ‘elem’ The type variable ‘t0’ is ambiguous (...) Testcase.hs:8:15: No instance for (Data.String.IsString (t0 Char)) arising from the literal ‘"$_-"’ The type variable ‘t0’ is ambiguous (...) Uncommenting the -- :: String type annotation (line 8) makes the snippet acceptable to the typechecker however. So Foldable [] and [Char] should be possible to infer, given the evidence of 'isAlphaNum x', as obviously happens with GHC 7.8. My question is, how or why does the 7.10 typechecker behave differently? Is this intentional, or does this qualify for a trac ticket? Thanks for looking into this, Michael PS: The ByteString part is just there since the snippet is taken out of one of my projects. The following (modified) code only typechecks on 7.10 with both type annotations uncommented: {-# LANGUAGE OverloadedStrings #-} import Data.Char (isAlphaNum) main = print $ check str where check = all (\x -> x `elem` valid || isAlphaNum x) valid = "$_-" -- :: String str = "foo_bar123" -- :: String The errors here are (1) no instances for Foldable and (2) no instances for IsString.

7 15

can't validate on Mac
by Richard Eisenberg 03 Aug '15

03 Aug '15

Hi devs, In a (almost) clean validate on my MacOS 10.8 machine, I see this: {{{ rts/posix/OSMem.c: In function 'my_mmap': rts/posix/OSMem.c:109:15: error: error: variable 'flags' set but not used [-Werror=unused-but-set-variable] int prot, flags; ^ rts/posix/OSMem.c:109:9: error: error: variable 'prot' set but not used [-Werror=unused-but-set-variable] int prot, flags; ^ cc1: all warnings being treated as errors }}} Help? Thanks, Richard

2 2

Building GHC master with GHC 7.6
by Ben Gamari 02 Aug '15

02 Aug '15

Hello everyone, Earlier today I merged a clean-up [1] to the master branch which removed some #ifdefs which ensured that the tree could be built with GHC 7.6 Thomas Miedema correctly pointed out that some nightly builders may not be on GHC 7.8 yet. Do any of the nightly builders call in this category? If so, would it be possible to upgrade? Cheers, - Ben [1] https://phabricator.haskell.org/D904

2 2

Fundep question
by Gabor Greif 31 Jul '15

31 Jul '15

Hi all, say I want to instantiate class Dep (a :: k) b | a -> b as instance Dep x y => Dep (Just x) (Maybe y) Is this supposed to work? I get "The coverage condition fails" errors. For simple cases like instance Dep True Bool etc. it seems to work fine. Thanks and cheers, Gabor

4 5