[Haskell] Perhaps a bug in GHC 6.10

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Wed Dec 3 10:41:44 EST 2008

On 2008 Dec 3, at 8:45, Krasimir Angelov wrote:
> Sudoku.hs:269:5:
>    Couldn't match expected type `Bool' against inferred type `a b'
>    In the expression:
>          ......
> Surprisingly the same code is accepted from GHC 6.10. This looks like
> a bug for me. The easiest way to reproduce this is to try to evaluate:

6.8.3 was changed on the theory that do "ought to" require a monad,  
contra Haskell98.  I suspect Haskell98 compatibility won.

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH

More information about the Haskell mailing list