projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 818c42c) | patch
Simplify the way in which the coKindFun in CoercionTyCon is handled
authorsimonpj@microsoft.com <unknown>
Fri, 29 Sep 2006 22:28:45 +0000 (22:28 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 29 Sep 2006 22:28:45 +0000 (22:28 +0000)
commit683ccf1854b2ffd2e703b120e39da8234d555075
tree233c1c36d1dc9925b36d004ff5b4f45f9ca809bctree | snapshot
parent818c42cb4310f7543b117ae93426c17acbe1b2c9commit | diff
Simplify the way in which the coKindFun in CoercionTyCon is handled

Before the coKindFun could be applied to too many arguments;
now it expects exactly the right number of arguments.  That
makes it easier to write the coKindFuns, and localises the work.
compiler/types/Coercion.lhs diff | blob | history
compiler/types/TyCon.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)