#7294: -fdefer-type-errors doesn't produce a warning
------------------------------------------+---------------------------------
Reporter: Feuerbach | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.6.1
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC accepts invalid program | Difficulty: Unknown
Testcase: gadt/T7293, T7294 | Blockedby:
Blocking: | Related:
------------------------------------------+---------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => gadt/T7293, T7294
* resolution: => fixed
Comment:
No, it's fine now. Without `-fdefer-type-errors` we get an error (test
`gadt/T7293`); with `-fdefer-type-errors` we get a warning (test
`gadt/T7294`).
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7294#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
