projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: cb429c8)
We no longer instantiate tyvars to Unknown types in the :print mechanism
authorPepe Iborra <mnislaih@gmail.com>
Tue, 24 Apr 2007 10:23:13 +0000 (10:23 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Tue, 24 Apr 2007 10:23:13 +0000 (10:23 +0000)
Instead, we keep the original tyvars.
The plan is to exploit type relationships among closures to recover more types.


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)