3 Dec
2008
3 Dec
'08
3:41 p.m.
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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH