projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3e5a3a) | patch
Drop newtypes before computing the refinement substitution after :print type reconstr...
authorPepe Iborra <mnislaih@gmail.com>
Wed, 25 Apr 2007 19:40:48 +0000 (19:40 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Wed, 25 Apr 2007 19:40:48 +0000 (19:40 +0000)
commit3432f617a78f4a0bed641947179b00f1070a9018
tree6222aa1ac8340bce0b460545d7c80cac01dea05ftree | snapshot
parentf3e5a3add2e8b5f878be96d7b04ef52e3c39a211commit | diff
Drop newtypes before computing the refinement substitution after :print type reconstruction
compiler/ghci/Debugger.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)