Re: Perhaps a bug in GHC 6.10

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