projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88e7faf) | patch
Implement a smart constructor mkUnsafeCoercion, and use it
authorsimonpj@microsoft.com <unknown>
Mon, 1 Mar 2010 11:17:44 +0000 (11:17 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 1 Mar 2010 11:17:44 +0000 (11:17 +0000)
commit51ab3ed19f55e386c4e55efd2cd6705789f8fbf4
tree99ce407d5c00733d37841958f8964557edde2338tree | snapshot
parent88e7faf19b7bcfd8d0d41fa88029c048b615c432commit | diff
Implement a smart constructor mkUnsafeCoercion, and use it

This just ensures that an unsafe coercion is as localised as possible.
For example, instead of
    UnsafeCo (Int -> t1) (Int -> t2)
use
    Int -> UnsafeCo t1 t2
compiler/types/Coercion.lhs diff | blob | history
compiler/types/OptCoercion.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)