[GHC] #15624: defer-type-errors and equality constraints

#15624: defer-type-errors and equality constraints -------------------------------------+------------------------------------- Reporter: monoidal | Owner: (none) Type: bug | Status: new Priority: low | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 (Type checker) | 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: -------------------------------------+------------------------------------- Consider {{{ {-# OPTIONS_GHC -fdefer-type-errors #-} x = const True ('a' + 'a') y = const True (not 'a') }}} Currently `x` is True, but `y` is undefined. I think it would make sense for both to be True. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15624 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15624: defer-type-errors and equality constraints -------------------------------------+------------------------------------- Reporter: monoidal | Owner: (none) Type: bug | Status: closed Priority: low | Milestone: 8.8.1 Component: Compiler (Type | Version: 8.4.3 checker) | Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * resolution: => duplicate Comment: I believe this is just #11197. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15624#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC