projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 140fb02) | patch
Re-enable assertion now the new type checker is in
authorsimonpj@microsoft.com <unknown>
Thu, 31 Mar 2011 10:21:16 +0000 (10:21 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 31 Mar 2011 10:21:16 +0000 (10:21 +0000)
commit2c3412138019d6b42a9974f7d8c7853c86ec96d5
tree07082c47ac7bf7e4d1dac69dbbd88c13a9157f70tree | snapshot
parent140fb024a9f585c4f1d75ca4bd6fe37a97bc2a4fcommit | diff
Re-enable assertion now the new type checker is in

(See Trac #3011.)
compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)