April 2016 - ghc-tickets

Re: [GHC] #2258: ghc --cleanup
by GHC 23 Apr '16

23 Apr '16

#2258: ghc --cleanup -------------------------------------+------------------------------------- Reporter: claus | Owner: Type: feature request | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #4114 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * keywords: newcomer => Comment: With #4114 done (though not mentioned in the release notes), you can now say {{{ $ ghc Test.hs -no-keep-hi-files -no-keep-o-files }}} ... and the `.hi` and `.o` files won't be kept. If you had forgotton to use those flags at first: {{{ $ ghc Test.hs $ ls *.hi *.o Test.hi Test.o }}} ... you can combine the mentioned flags with `-fforce-recomp` to delete the `.o` and `.hi` files: {{{ $ ghc Test.hs -no-keep-hi-files -no-keep-o-files -fforce-recomp $ ls *.hi *.o }}} Do we still need a separate `--cleanup` flag? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2258#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4114: Add a flag to remove/delete intermediate files generated by GHC
by GHC 23 Apr '16

23 Apr '16

#4114: Add a flag to remove/delete intermediate files generated by GHC -------------------------------------+------------------------------------- Reporter: guest | Owner: kaiha Type: feature request | Status: patch Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 6.10.4 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | driver/T4114a,b,c,d Blocked By: | Blocking: Related Tickets: #2258 | Differential Rev(s): Phab:D2021 Wiki Page: | Phab:D2050 -------------------------------------+------------------------------------- Changes (by thomie): * testcase: => driver/T4114a,b,c,d * milestone: => 8.2.1 Comment: I think this is done, it will be in ghc 8.2. Thanks kaiha! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4114#comment:31> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11969: Version number of the binary package in 8.0.1-rc3
by GHC 23 Apr '16

23 Apr '16

#11969: Version number of the binary package in 8.0.1-rc3 -------------------------------------+------------------------------------- Reporter: asr | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Core | Version: 8.0.1-rc3 Libraries | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Using 8.0.1-rc3 I got the following error: {{{ src/UHC/Util/Binary.hs:23:5: error: Ambiguous occurrence ‘putList’ It could refer to either ‘Data.Binary.putList’, imported from ‘Data.Binary’ at src/UHC/Util/Binary.hs:30:1-18 (and originally defined in ‘binary-0.8.2.1:Data.Binary.Class’) or ‘UHC.Util.Binary.putList’, defined at src/UHC/Util/Binary.hs:118:1 }}} Note that error says `and originally defined in ‘binary-0.8.2.1:Data.Binary.Class’`, but [http://hackage.haskell.org/package/binary-0.8.2.1 binary 0.8.2.1] in Hackage doesn't define `putList`. From this [https://github.com/kolmodin/binary/blob/master/changelog.md changelog], `putList` was added in binary 0.8.3.0. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11969> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 22 Apr '16

22 Apr '16

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 11362 | Blocking: Related Tickets: #10424 | Differential Rev(s): Phab:D910, | Phab:D1073, Phab:D1133, Phab:D1192, | Phab:D1268, Phab:D1360, Phab:D1373, Wiki Page: | Phab:D1396, Phab:D1457, Phab:D1468, DeterministicBuilds | Phab:D1487, Phab:D1504, Phab:D1508 -------------------------------------+------------------------------------- Comment (by Bartosz Nitka <niteria@…>): In [changeset:"03006f5ef2daedbbb7b0932b2c0e265f097cf2bf/ghc" 03006f5e/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="03006f5ef2daedbbb7b0932b2c0e265f097cf2bf" Get rid of varSetElemsWellScoped in abstractFloats It's possible to get rid of this use site in a local way and it introduces unneccessary nondeterminism. Test Plan: ./validate Reviewers: simonmar, goldfire, austin, bgamari, simonpj Reviewed By: simonpj Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2122 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:149> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11971: Unify error messages that suggest enabling extensions
by GHC 22 Apr '16

22 Apr '16

#11971: Unify error messages that suggest enabling extensions -------------------------------------+------------------------------------- Reporter: cocreature | Owner: Type: feature | Status: new request | Priority: low | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The error messages that suggest to enable some extension currently have a lot of slightly different forms: Here are just a few examples (I’ll do a longer search if we come to a consensus) - Did you mean to enable _? - Did you mean to use _? - Perhaps you meant to use _? - Perhaps you intended to use _? These error messages are parsed by haskell-mode (and maybe other tooling as well) which is quite hard since they have so many different forms. I propose to change all of those to “Did you mean to enable _?” since that I prefer enable over use here, but I don’t have any strong feelings towards the exact message as long as it’s consistent. So if the majority prefers something else I’m fine with that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11971> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 22 Apr '16

22 Apr '16

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 11362 | Blocking: Related Tickets: #10424 | Differential Rev(s): Phab:D910, | Phab:D1073, Phab:D1133, Phab:D1192, | Phab:D1268, Phab:D1360, Phab:D1373, Wiki Page: | Phab:D1396, Phab:D1457, Phab:D1468, DeterministicBuilds | Phab:D1487, Phab:D1504, Phab:D1508 -------------------------------------+------------------------------------- Comment (by Bartosz Nitka <niteria@…>): In [changeset:"0f96686b10fd36d479a54c71a6e1753193e85347/ghc" 0f96686b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="0f96686b10fd36d479a54c71a6e1753193e85347" Make benign non-determinism in pretty-printing more obvious This change takes us one step closer to being able to remove `varSetElemsWellScoped`. The end goal is to make every source of non-determinism obvious at the source level, so that when we achieve determinism it doesn't get broken accidentally. Test Plan: compile GHC Reviewers: simonmar, goldfire, simonpj, austin, bgamari Reviewed By: simonpj Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2123 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:148> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7602: Threaded RTS performing badly on recent OS X (10.8?)
by GHC 22 Apr '16

22 Apr '16

#7602: Threaded RTS performing badly on recent OS X (10.8?) -------------------------------------+------------------------------------- Reporter: simonmar | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Runtime System | Version: Resolution: | Keywords: thread-local | state, TLS clang Operating System: MacOS X | Architecture: x86_64 Type of failure: Runtime | (amd64) performance bug | Test Case: Blocked By: 7678 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by carter): My builds use real gcc too :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7602#comment:55> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3990: UNPACK doesn't unbox data families
by GHC 22 Apr '16

22 Apr '16

#3990: UNPACK doesn't unbox data families -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: bug | Status: closed Priority: low | Milestone: Component: Compiler | Version: 7.0.3 Resolution: fixed | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Runtime | Test Case: performance bug | simplCore/should_compile/T3990 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: => simplCore/should_compile/T3990 * status: new => closed * resolution: => fixed Comment: This commit [https://ghc.haskell.org/trac/ghc/changeset/353d8ae6fafe117a1cac4adf6f029a5b… 353d8ae6/ghc] from #11348: {{{ In SCC analysis for instances as well as types/classes This big patch is in pursuit of Trac #11348. It is largely the work of Alex Veith (thank you!), with some follow-up simplification and refactoring from Simon PJ. The main payload is described in RnSource Note [Dependency analysis of type, class, and instance decls] which is pretty detailed. * There is a new data type HsDecls.TyClGroup, for a strongly connected component of type/class/instance/role decls. The hs_instds field of HsGroup disappears, in consequence This forces some knock-on changes, including a minor haddock submodule update Smaller, weakly-related things * I found that both the renamer and typechecker were building an identical env for RoleAnnots, so I put common code for RoleAnnotEnv in RnEnv. * I found that tcInstDecls1 had very clumsy error handling, so I put it together into TcInstDcls.doClsInstErrorChecks }}} deals with the ToDo in comment:13: {{{ Still to do: need to do knot-tying to allow instances to take effect within the same module. }}} So now we are good; e.g. comment:20 is fixed. I've added a test case. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3990#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3990: UNPACK doesn't unbox data families
by GHC 22 Apr '16

22 Apr '16

#3990: UNPACK doesn't unbox data families -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.0.3 Resolution: | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"251a376baf9b3824a67fba3bfb9a72bc31cf8e33/ghc" 251a376/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="251a376baf9b3824a67fba3bfb9a72bc31cf8e33" Test Trac #3990 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3990#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11949: ghc bindist doesn't bundle up the assets needed for hyperlinked-source properly and doesn't treat certain base modules right
by GHC 21 Apr '16

21 Apr '16

#11949: ghc bindist doesn't bundle up the assets needed for hyperlinked-source properly and doesn't treat certain base modules right -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- i've had to copy some files that aren't shipped with ghc, or perhaps i need to reinstall haddock in userland? {{{ ~ $ haddock --hyperlinked-source haddock: internal error: /Users/carter/.install- ghc/ghc-8.0.0.20160417/lib/ghc-8.0.0.20160417/html/solarized.css: copyFile: does not exist (No such file or directory) ~ $ cp /Users/carter/.install- ghc/ghc-8.0.0.20160417/share/doc/ghc-8.0.0.20160417/html/libraries/base-4.9.0.0/src/style.css /Users/carter/.install- ghc/ghc-8.0.0.20160417/lib/ghc-8.0.0.20160417/html/solarized.css cp /Users/carter/.install- ghc/ghc-8.0.0.20160417/share/doc/ghc-8.0.0.20160417/html/libraries/base-4.9.0.0/src/highlight.js /Users/carter/.install- ghc/ghc-8.0.0.20160417/lib/ghc-8.0.0.20160417/html/highlight.js }}} additionally i need to set {{{ haddock-options: --hyperlinked-source }}} correctly in the ~/.cabal/config file, and if thats set wrong, source files are silently not generated as part of the docs, so debugging a typo there is pretty confusing! sooo... either way, there seems to be two missing asset files in my build! namely those two files i had to CP! as additional data, heres the customized perf build way i did {{{ EXTRA_HADDOCK_OPTS=--hyperlinked-source HADDOCK_DOCS = YES BUILD_SPHINX_HTML = YES BUILD_SPHINX_PDF = YES libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree- gmp }}} my "debugging technique" was to run `haddock --hyperlinked-source` and figure out what file is in the pretty builds and CP that over to the location haddock was complaining about and repeat -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11949> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7