[ ghc-Bugs-759910 ] Non-exhaultive patterns from derived Read

Bugs item #759910, was opened at 2003-06-24 09:14
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=759910&group_id=8032

Category: Compiler
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Non-exhaultive patterns from derived Read

Initial Comment:
When switching from GHC 5.04.1 to 6.0 I started getting 
a load of warnings like these:




 source/SDL/Types.hs:33:


     Warning: Pattern match(es) are non-exhaustive


          In a pattern binding in


             a 'do' expression:


              Patterns not matched:


                  Text.Read.Lex.EOF


                  Text.Read.Lex.Rat _


                  Text.Read.Lex.Int _


                  Text.Read.Lex.Symbol _


                  ...




The source in question looks like this




data Expected


        = ExpectedType String


        | ExpectedValue String


        deriving (Read, Show)




It looks as though everything deriving Read causes this 
warning (there are several such constructs in the file).  
Deriving only Show does not.  Found no mention of 
change to behavior of derived reads in release notes or in 
google.




Cheers,


Jason Feingold


jfeingol@xxxxxxxxxxxxx


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=759910&group_id=8032