#322: fromInteger-related pattern match overlap warnings
---------------------------+------------------------------------------------
Reporter: ashley-y | Owner: simonpj
Type: bug | Status: assigned
Priority: normal | Milestone: _|_
Component: Compiler | Version: 6.4
Resolution: None | Keywords: warnings
Difficulty: Unknown | Os: Unknown/Multiple
Testcase: ds060 | Architecture: Unknown/Multiple
Failure: None/Unknown |
---------------------------+------------------------------------------------
Changes (by marcotmarcot):
* failure: => None/Unknown
Comment:
I'm thinking about this bug, and the only way I can see to avoid it, is by
knowing in compile-time, that is, when the compiler checks if the Patterns
are complete, how the value (1 :: Integer) will be converted to (1 ::
Maybe Int). This is defined in "fromInteger = Just . fromInteger", which
is a user code. So the user code will have to be evaluated in compile
time. Is this already done in any case? I don't think so, as this would
create the possibility of the compilation not terminating.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/322#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
