[project @ 1999-07-16 14:06:57 by simonpj]
* Fix a bug in the unifier that made the typechecker loop on a 5-line program from Sigbjorn. The bug is documented near the fix, in TcUnify.uUnboundVar
Loading
Please register or sign in to comment
* Fix a bug in the unifier that made the typechecker loop on a 5-line program from Sigbjorn. The bug is documented near the fix, in TcUnify.uUnboundVar