RE: Non-exhaustive patterns in TcMatches

[Simon Peyton-Jones]

> \begin(code)
> main = do
>   let foo = True
>       return ()
> \end{code}
> 
> TcMatches.lhs:274: Non-exhaustive patterns in function tcStmts

This is a bug in the new (Happy) parser.
I've fixed it in the CVS version.  Thanks for reporting it.

It should be a parse error, because the 'return ()' 
gets treated as part of the let binding group.

Simon

> -----Original Message-----
> From: [EMAIL PROTECTED] 
> Sent: Tuesday, July 20, 1999 6:12 PM
> To: GHC Bugs list
> Subject: Non-exhaustive patterns in TcMatches
> 
> 
> Hi!
> 
> another one:
> 
> \begin(code)
> main = do
>   let foo = True
>       return ()
> \end{code}
> 
> TcMatches.lhs:274: Non-exhaustive patterns in function tcStmts
> 
> 
> Cheers,
> Michael
> -- 
> * Mechanical Engineering is like looking for a black cat in a 
> lighted room.
> * Software Engineering is like looking for a black cat in a 
> dark room in
>   which there is no cat.
>