[GHC] #14385: Clarify error message when missing GADTs extension
#14385: Clarify error message when missing GADTs extension -------------------------------------+------------------------------------- Reporter: lyxia | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 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: -------------------------------------+------------------------------------- If we write a GADT declaration and forget to enable `GADTs` we get the following error message: {{{ ww.hs:1:1: error: • Illegal generalised algebraic data declaration for ‘T’ (Use GADTs to allow GADTs) • In the data declaration for ‘T’ }}} It could be made more explicit for new users that the suggestion is to use the '''extension''' `GADTs`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14385> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#14385: Clarify error message when missing GADTs extension -------------------------------------+------------------------------------- Reporter: lyxia | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4122 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * differential: => Phab:D4122 Comment: Hmm, yes, I can see how this would be confusing. There are actually a number of errors referring to extensions which are confusing in much the same way. See Phab:D4122 for a quick fix. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14385#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#14385: Clarify error message when missing GADTs extension -------------------------------------+------------------------------------- Reporter: lyxia | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4122 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"bf83435b5c62776072977b9b1fc5aba2bffa97b4/ghc" bf83435/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="bf83435b5c62776072977b9b1fc5aba2bffa97b4" typecheck: Clarify errors mentioned in #14385 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14385#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#14385: Clarify error message when missing GADTs extension -------------------------------------+------------------------------------- Reporter: lyxia | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4122 Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Is this better, lyxia? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14385#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#14385: Clarify error message when missing GADTs extension -------------------------------------+------------------------------------- Reporter: lyxia | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4122 Wiki Page: | -------------------------------------+------------------------------------- Comment (by lyxia): Yes, thank you! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14385#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#14385: Clarify error message when missing GADTs extension -------------------------------------+------------------------------------- Reporter: lyxia | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4122 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed * milestone: => 8.4.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14385#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC