[GHC] #10899: Polytype accepted in RHS of default associated type
#10899: Polytype accepted in RHS of default associated type -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: 7.10.3 Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- This hogwash is accepted: {{{ class C a where type F a type F a = forall m. m a }}} I will fix. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10899> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10899: Polytype accepted in RHS of default associated type -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: patch Priority: normal | Milestone: 7.10.3 Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D1262 -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => patch * differential: => Phab:D1262 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10899#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10899: Polytype accepted in RHS of default associated type -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: patch Priority: normal | Milestone: 7.10.3 Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D1262 -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"e27b267f3675180c03a75282dd952b8a59339a1f/ghc" e27b267/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e27b267f3675180c03a75282dd952b8a59339a1f" Perform a validity check on assoc type defaults. This fixes #10817 and #10899. A knock-on effect is that we must now remember locations of associated type defaults for error messages during validity checking. This isn't too bad, but it increases the size of the diff somewhat. Test cases: indexed-types/should_fail/T108{17,99} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10899#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10899: Polytype accepted in RHS of default associated type -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: merge Priority: normal | Milestone: 7.10.3 Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: indexed- | types/should_fail/T10899 Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D1262 -------------------------------------+------------------------------------- Changes (by goldfire): * status: patch => merge * testcase: => indexed-types/should_fail/T10899 Comment: It's worth merging this one. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10899#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10899: Polytype accepted in RHS of default associated type -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: 7.10.3 Component: Compiler | Version: 7.10.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: indexed- | types/should_fail/T10899 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1262 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10899#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC