[Haskell] Perhaps a bug in GHC 6.10

[Brandon S. Allbery KF8NH]

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