projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8c3010) | patch
Add new skolem tyvars to the InteractiveContext after type reconstruction
authorPepe Iborra <mnislaih@gmail.com>
Tue, 1 May 2007 10:11:05 +0000 (10:11 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Tue, 1 May 2007 10:11:05 +0000 (10:11 +0000)
commit7ac266d097639620e4fea22c40450c8d7822f5fb
treecfe4219b023ebfada6add1689daad9d110bae222tree | snapshot
parentf8c30102cdc246af5720b3bc8f2211e352edda5fcommit | diff
Add new skolem tyvars to the InteractiveContext after type reconstruction

This was being done already for each binding added by :print,
but :sprint does not add any new binding, so we take care of it
separately
compiler/ghci/Debugger.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)