[GHC] #9085: Inaccessible equations in a closed type family should be a warning, not an error
#9085: Inaccessible equations in a closed type family should be a warning, not an error ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- If I say {{{ foo _ = () foo False = () }}} I get {{{ /Users/rae/temp/Bug.hs:2:1: Warning: Pattern match(es) are overlapped In an equation for ‘foo’: foo False = ... }}} But, if I say {{{ {-# LANGUAGE TypeFamilies #-} type family Foo a where Foo x = () Foo Bool = () }}} I get {{{ /Users/rae/temp/Bug.hs:5:3: Inaccessible family instance equation: Foo Bool = () In the equations for closed type family ‘Foo’ In the type family declaration for ‘Foo’ }}} If this issues a warning at the term level, it probably should do the same at the type level. This was my design decision that I'm changing, and I will fix. The warning will be controlled by the same flag that controls the term-level version. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9085> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9085: Inaccessible equations in a closed type family should be a warning, not an error -------------------------------------------------+------------------------- Reporter: goldfire | Owner: Type: bug | goldfire Priority: normal | Status: new Component: Compiler | Milestone: Resolution: | Version: 7.8.2 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: indexed- | Unknown/Multiple types/should_compile/T9085 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by goldfire): * testcase: => indexed-types/should_compile/T9085 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9085#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9085: Inaccessible equations in a closed type family should be a warning, not an error -------------------------------------------------+------------------------- Reporter: goldfire | Owner: Type: bug | goldfire Priority: normal | Status: new Component: Compiler | Milestone: Resolution: | Version: 7.8.2 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: indexed- | Unknown/Multiple types/should_compile/T9085 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"6a1d7f9736098d47463a71323d28ece792a59e52/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="6a1d7f9736098d47463a71323d28ece792a59e52" Fix #9085. Inaccessible equations in a closed type family now leads to a warning, not an error. This echoes what happens at the term level. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9085#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9085: Inaccessible equations in a closed type family should be a warning, not an error -------------------------------------------------+------------------------- Reporter: goldfire | Owner: Type: bug | goldfire Priority: normal | Status: new Component: Compiler | Milestone: Resolution: | Version: 7.8.2 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: indexed- | Unknown/Multiple types/should_compile/T9085 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"f502617065c8716a062c83fc923c3b3a2395c4a8/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="f502617065c8716a062c83fc923c3b3a2395c4a8" Test #9085. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9085#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9085: Inaccessible equations in a closed type family should be a warning, not an error -------------------------------------------------+------------------------- Reporter: goldfire | Owner: Type: bug | goldfire Priority: normal | Status: merge Component: Compiler | Milestone: 7.8.4 Resolution: | Version: 7.8.2 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: indexed- | Unknown/Multiple types/should_compile/T9085 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by goldfire): * status: new => merge * milestone: => 7.8.4 Comment: Recommending merge, but this is really minor. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9085#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9085: Inaccessible equations in a closed type family should be a warning, not an error -------------------------------------------------+------------------------- Reporter: goldfire | Owner: Type: bug | goldfire Priority: normal | Status: Component: Compiler | closed Resolution: fixed | Milestone: 7.8.3 Operating System: Unknown/Multiple | Version: 7.8.2 Type of failure: None/Unknown | Keywords: Test Case: indexed- | Architecture: types/should_compile/T9085 | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by thoughtpolice): * status: merge => closed * resolution: => fixed * milestone: 7.8.4 => 7.8.3 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9085#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC