projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 362c263) | patch
Finally fix Trac #3066
authorsimonpj@microsoft.com <unknown>
Thu, 5 Mar 2009 09:09:35 +0000 (09:09 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 5 Mar 2009 09:09:35 +0000 (09:09 +0000)
commitd7b56effafe21561a127b318c9cfea2897a053c0
tree0c783e6076d8f003fc747e6dd931050430438eaftree | snapshot
parent362c263707b4a32f736d211e36d6c2b4a6482a2acommit | diff
Finally fix Trac #3066

This is a fix to
  Tue Mar  3 17:42:58 GMT 2009  simonpj@microsoft.com
    * Fix Trac #3066: checking argument types in foreign calls
which I embarassingly got wrong.

Have to be careful when expanding recursive newtypes.

Pls merge.
compiler/typecheck/TcType.lhs diff | blob | history
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)