projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da5b25f) | patch
More refactoring in TcSimplify
authorsimonpj@microsoft.com <unknown>
Wed, 20 Jun 2007 09:36:46 +0000 (09:36 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 20 Jun 2007 09:36:46 +0000 (09:36 +0000)
commit5c2ecdff9b9e814c2549da0b3efd61d5107c72d6
treea8b4ddb97ed52d97adbb83254cc8677b5bb5311ftree | snapshot
parentda5b25fee9f8da8768e268b52c829abe3c76a3c7commit | diff
More refactoring in TcSimplify

This re-jig tides up the top-level simplification, and combines in one
well-commented function, approximateImplications, the rather ad-hoc
way of simplifying implication constraints during type inference.

Error messages get a bit better too.
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)