Remove dead code dealing with type refinement
authorsimonpj@microsoft.com <unknown>
Wed, 15 Sep 2010 22:32:30 +0000 (22:32 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 15 Sep 2010 22:32:30 +0000 (22:32 +0000)
commit91ab6902b7f1e553be96b2301e9ae6a979b5fc48
treec49244463d73f06b08a5dbdce0b4a56c26fbbc0d
parent372a8c47e84ee0de43e9e03d5becb8276a4e148c
Remove dead code dealing with type refinement
compiler/types/Unify.lhs