September 2014 - ghc-tickets

[GHC] #9528: typo in man-page/docs
by GHC 19 Sep '14

19 Sep '14

#9528: typo in man-page/docs -------------------------------------+------------------------------------- Reporter: lspitzner | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Documentation | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: hour) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- "rrestriction" in ghc/docs/users_guide/flags.xml -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9528> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #5395: Context reduction stack overflow without undecidable instances
by GHC 19 Sep '14

19 Sep '14

#5395: Context reduction stack overflow without undecidable instances -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.0.4 Resolution: | Keywords: type family, Operating System: | termination Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC | Difficulty: Unknown rejects valid program | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"c96c64fae0152bc53f48634d0ddd310ef4bc0105/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c96c64fae0152bc53f48634d0ddd310ef4bc0105" Increase -fcontext-stack=N default to 100 This addresses Trac #5395 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5395#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 19 Sep '14

19 Sep '14

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: highest | Version: 6.12.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7880 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D211 | -------------------------------------+------------------------------------- Changes (by simonpj): * priority: low => highest * status: closed => new * resolution: fixed => Comment: No, now, let's not close this. There's a pending change for 7.12, namely * making the warnings into an error. * getting rid of the `Qualified` constructor in `HsExplicitFlag` (we can use `Explicit` instead) * remove or deprecate `fwarn-context-quantification` (I suppose it should be deprecated until 7.14, sigh.) 7.12 isn't a milestone yet (Austin can you fix that?), so I'll milestone it for 7.10 so it doesn't get lost. I'll give it "highest" priority not because it's terribly vital but because it's easy and it'd be untidy to let it linger. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 18 Sep '14

18 Sep '14

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: low | Version: 6.12.3 Component: Compiler | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7880 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D211 | -------------------------------------+------------------------------------- Changes (by ezyang): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 18 Sep '14

18 Sep '14

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: low | Version: 6.12.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7880 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D211 | -------------------------------------+------------------------------------- Comment (by Edward Z. Yang <ezyang@…>): In [changeset:"275dcafbfb6b371dd5d8943fa4df9c23e68f6165/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="275dcafbfb6b371dd5d8943fa4df9c23e68f6165" Add -fwarn-context-quantification (#4426) Summary: This warning (enabled by default) reports places where a context implicitly binds a type variable, for example type T a = {-forall m.-} Monad m => a -> m a Also update Haddock submodule. Test Plan: validate Reviewers: hvr, goldfire, simonpj, austin Reviewed By: austin Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D211 GHC Trac Issues: #4426 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 18 Sep '14

18 Sep '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: Phab:D202 | -------------------------------------+------------------------------------- Comment (by jstolarek): Ah, of course. I was thinking about this problem earlier but then I somehow convinced myself that this will not be an issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:72> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 18 Sep '14

18 Sep '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: Phab:D202 | -------------------------------------+------------------------------------- Comment (by simonpj): The difficulty is that when you say {{{ type family F (a::*) :: * }}} you expect `a` to be a ''type'' variable and `*` to be a ''kind''. So if you say {{{ type family F (a::*) :: (b :: *) }}} it looks as though `b` is a ''kind'' variable, and `*` is a ''sort''. That's why Reid wants to use `=` rather than `::`, and he is right. It's reasonable to have either of these {{{ type family F a :: * type family F a = (b :: *) }}} but not {{{ type family F a :: (b :: *) }}} The merit of the "= blah" notation is that it allows us to give a name to the result, rather than use a magic name. I think it's probably just about worth the syntactic cost. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:71> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 18 Sep '14

18 Sep '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: Phab:D202 | -------------------------------------+------------------------------------- Comment (by jstolarek): Replying to [comment:69 rwbarton]: > That reads very oddly to me, but how about...? > {{{ > type family Id a = result | result -> a where > }}} You mean that the `:: result` syntax reads oddly? It is already supported by GHC and the nice thing about this proposal is that we can piggyback on the syntax we already have. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:70> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 18 Sep '14

18 Sep '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: Phab:D202 | -------------------------------------+------------------------------------- Comment (by rwbarton): That reads very oddly to me, but how about...? {{{ type family Id a = result | result -> a where }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:69> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9592: Add link to wiki index in the ticket view on Trac
by GHC 18 Sep '14

18 Sep '14

#9592: Add link to wiki index in the ticket view on Trac -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: hvr Type: feature request | Status: new Priority: normal | Milestone: Component: Trac & Git | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I often want to get from the ticket view to index of all wiki pages. Sadly, ticket view only has links to previous ticket/next ticket in the top right of the page. So to get to the index of wiki pages I need to go to any of the wiki pages in the left panel and only then the link to wiki index appears in the top right of the page. Would it be possible to have link to wiki index also in the ticket view? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9592> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2