Fix a pair of classic, but tricky, bugs in the type matcher; exposed by a program...
authorsimonpj@microsoft.com <unknown>
Fri, 2 Feb 2007 23:36:34 +0000 (23:36 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 2 Feb 2007 23:36:34 +0000 (23:36 +0000)
commitff5ae6ab8ed907dcf6adc810791b756bab827ab3
tree65e189f26e19267f57d22415e9ce6ce2f4c82d83
parentf42d93f8f8395c6ee84a65ab4e45c52b8b8a5cb4
Fix a pair of classic, but tricky, bugs in the type matcher; exposed by a program from Roman
compiler/types/Unify.lhs