projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 884b0a5) | patch
Many comments about oclose, plus a fix for Trac #1456
authorsimonpj@microsoft.com <unknown>
Fri, 29 Jun 2007 21:53:34 +0000 (21:53 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 29 Jun 2007 21:53:34 +0000 (21:53 +0000)
commit0f5731ee92009fe43e9cc0bd276b4562e0c37089
tree138f84448266738b49830df3908bbec3f45a34d0tree | snapshot
parent884b0a57dde7b1d9556a4c47f6a14a11d39c3c64commit | diff
Many comments about oclose, plus a fix for Trac #1456

There was a rather subtle bug in the way 'oclose' works when
generalising top-level function definitions.  See
Note [Important subtlety in oclose]
in FunDeps for an explanatoin.

I also tidied up duplication in comments while I was here.
compiler/typecheck/TcSimplify.lhs diff | blob | history
compiler/types/FunDeps.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)