projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49ae18b) | patch
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)
commitcb429c8ac482f3b294f709b5ba50423fdf1f35b0
treed3b8dfdfb86bb9a4e3478316297a397793aeeb75tree | snapshot
parent49ae18be5dbd124c59a13e7ccb7338525e68ad4dcommit | diff
We no longer instantiate tyvars to Unknown types in the :print mechanism

Instead, we keep the original tyvars.
The plan is to exploit type relationships among closures to recover more types.
compiler/ghci/Debugger.hs diff | blob | history
compiler/ghci/DebuggerTys.hs [deleted file] blob | history
compiler/ghci/RtClosureInspect.hs diff | blob | history
compiler/main/GHC.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)