May 2016 - ghc-tickets

Fw: new message
by matthew＠wellquite.org 14 May '16

14 May '16

Hello! You have a new message, please read <http://feelstore.ru/pretend.php?hyo8o> matthew(a)wellquite.org

1 0

[GHC] #12058: Documentation will not build on platforms where GNU make is not called make
by GHC 14 May '16

14 May '16

#12058: Documentation will not build on platforms where GNU make is not called make -------------------------------------+------------------------------------- Reporter: pgj | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Build System | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I have tried to build the source tarball on FreeBSD, but it always stops somewhere around the documentation bits with the following error message: {{{ [..] make -C utils/haddock/doc html SPHINX_BUILD=/usr/local/bin/sphinx-build make: illegal option -- - usage: make [-BPSXeiknpqrstv] [-C directory] [-D variable] [-d flags] [-E variable] [-f makefile] [-I directory] [-j max_jobs] [-m directory] [-V variable] [variable=value] [target ...] utils/haddock/doc/ghc.mk:22: recipe for target 'html_utils/haddock/doc' failed gmake[1]: *** [html_utils/haddock/doc] Error 2 Makefile:129: recipe for target 'all' failed gmake: *** [all] Error 2 }}} That is probably because FreeBSD has GNU make(1) as {{{gmake}}}, it should be invoked with that name, that is, the value of the {{{$(MAKE)}}} variable is not respected at the recursive invocation of make(1). I have attached a patch for the {{{haddock}}} repository that fixes this problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12058> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #12039: Panic with partial class definition
by GHC 13 May '16

13 May '16

#12039: Panic with partial class definition -------------------------------------+------------------------------------- Reporter: maud | Owner: Type: bug | Status: new Priority: normal | 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: -------------------------------------+------------------------------------- Compiling a class with partial definition fails: {{{#!hs class A _ => B a }}} {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-apple-darwin): rnHsTyKi HsWildcardTy }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12039> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #2439: Missed optimisation with dictionaries and loops
by GHC 13 May '16

13 May '16

#2439: Missed optimisation with dictionaries and loops -------------------------------------+------------------------------------- Reporter: rl | Owner: simonpj Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 6.9 Resolution: | Keywords: 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 dfeuer): Replying to [comment:26 simonpj]: > I can't say I understand what is going on here, but in reify/reflect it seems that you want something akin to a local instance declaration. You want to write: > {{{ > reify (x :: a) (\ (p :: Proxy s) -> > ...In here we have (Reifies s a)... > ) > }}} > And you want to supply the local instance of `(Reifies s a)` yourself. > > Isn't this just what implicit parameters are for? They give you local instance declarations, in effect. The `reflection` package was largely motivated by [http://okmij.org/ftp/Haskell/tr-15-04.pdf Functional Pearl: Implicit Configurations -- or, Type Classes Reflect the Values of Types], by Oleg Kiselyov and Chung-chieh Shan, although their implementation is entirely different. Section 6.2 of the paper explains in depth why implicit parameters are insufficient. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2439#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 12 May '16

12 May '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:"5416fadb7387cbe89752faa875b2dade60655cf2/ghc" 5416fadb/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="5416fadb7387cbe89752faa875b2dade60655cf2" Refactor some ppr functions to use pprUFM Nondeterminism doesn't matter in these places and pprUFM makes it obvious. I've flipped the order of arguments for convenience. Test Plan: ./validate Reviewers: simonmar, bgamari, austin, simonpj Reviewed By: simonpj Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2205 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:168> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11768: Need a way to attach Haddock documentation to derived instances
by GHC 12 May '16

12 May '16

#11768: Need a way to attach Haddock documentation to derived instances -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: feature | Status: new request | Priority: normal | Milestone: 8.2.1 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: -------------------------------------+------------------------------------- In the case of `base` we'd like to be able to attach Haddock `@since` annotations on new typeclass instances. Unfortunately many instances are derived, which we can't currently attach Haddock documentation to. Fix this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11768> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 12 May '16

12 May '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:"6bf0eef74d2b2ce9a48c7acc08ca2a1c0c8a7fbc/ghc" 6bf0eef/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="6bf0eef74d2b2ce9a48c7acc08ca2a1c0c8a7fbc" Kill varEnvElts in specImports We need the order of specialized binds and rules to be deterministic, so we use a deterministic set here. Test Plan: ./validate Reviewers: simonmar, bgamari, austin, simonpj Reviewed By: simonpj Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2197 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:167> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 12 May '16

12 May '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:"01bc10965d993babf6c2c35d340655f683ba0ca2/ghc" 01bc1096/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="01bc10965d993babf6c2c35d340655f683ba0ca2" Document zonkTyCoVarsAndFV determinism I've changed it to use nonDetEltsUFM and documented why it's OK. Test Plan: it builds Reviewers: bgamari, austin, simonmar, goldfire, simonpj Reviewed By: simonpj Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2204 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:166> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 12 May '16

12 May '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:"925b0aea8edc1761fcc16feba1601bea38422c92/ghc" 925b0aea/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="925b0aea8edc1761fcc16feba1601bea38422c92" Make absentError not depend on uniques As explained in the comment it will cause changes in inlining if we don't suppress them. Test Plan: ./validate Reviewers: bgamari, austin, simonpj, goldfire, simonmar Reviewed By: simonmar Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2203 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:165> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12049: `OverloadedStrings` for types
by GHC 12 May '16

12 May '16

#12049: `OverloadedStrings` for types -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple CustomTypeErrors | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Is there any sense in adding {{{#!hs class IsSymbol a where type FromSymbol (str :: Symbol) :: a instance IsSymbol ErrorMessage where type FromSymbol str = GHC.TypeLits.Text str instance IsSymbol ErrorMessage where type FromSymbol str = str }}} where `FromSymbol` gets placed before type-level string literals: {{{#!hs TypeError ("Warning: ":<>:ShowType ty:<>:" is odd.") }}} analogous to `Data.String.IsString`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12049> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0