projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 661bda5) | patch
When a type is refined after :print, propagate the substitution to all the interactiv...
authorPepe Iborra <mnislaih@gmail.com>
Tue, 24 Apr 2007 11:19:26 +0000 (11:19 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Tue, 24 Apr 2007 11:19:26 +0000 (11:19 +0000)
commitfa56e2107bd1b097580fbd2cf2c5760a772cc402
tree83874933dc540ef1f7ed46d6c20294fb7ccb7c2atree | snapshot
parent661bda52ac2708aee8b9c8558fd7cda46a0fb02bcommit | diff
When a type is refined after :print, propagate the substitution to all the interactive environment
compiler/ghci/Debugger.hs diff | blob | history
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)