projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9be2edb) | patch
Two improvements to boxy matching
authorsimonpj@microsoft.com <unknown>
Thu, 10 Apr 2008 11:28:12 +0000 (11:28 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 10 Apr 2008 11:28:12 +0000 (11:28 +0000)
commitf09bc7d19f2f87bf6540afd3240f3c274b8a4af2
tree13426c04acc7511fdfc4e2360386def1a42c90bdtree | snapshot
parent9be2edb81a1d1563a580958c01c0d16094dc12d2commit | diff
Two improvements to boxy matching

I can't quite remember what provoked these two changes, but they are in my
tree.
One improves boxy_match (which failed unnecessarily)
One fixes boxy_lub (which was assymetrical)
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)