Mon Jul 7 03:32:01 PDT 2008 [EMAIL PROTECTED]
* Fix Trac #2414: occurrs check was missed
This is an embarassing one: a missing occurs check meant that a type-incorrect
program could leak through. Yikes!
(An indirect consequence of extra complexity introduced by boxy types. Sigh.)
Merge to 6.8.4 if we release it.
M ./compiler/typecheck/TcUnify.lhs -10 +28
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080707103201-1287e-89bf741639a90d3fc03a5068b51915830368a302.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
