projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6701e0) | patch
[project @ 2001-07-10 11:32:28 by simonpj]
authorsimonpj <unknown>
Tue, 10 Jul 2001 11:32:28 +0000 (11:32 +0000)
committersimonpj <unknown>
Tue, 10 Jul 2001 11:32:28 +0000 (11:32 +0000)
commitc4786b4eb8481d3dbda8ba49f675e6d1958d6d18
treeb7d3458eb13644ebdfbf99ec705ef66173c9d3c9tree | snapshot
parentc6701e0ce62ee27ad9f29891c729c2f0f213020bcommit | diff
[project @ 2001-07-10 11:32:28 by simonpj]
Two bug-fixes to the new newtype story

1.  Be consistent about using TcType (not Type) in the
typechecker.  There was an odd function in TcMType that
used splitTyConApp instead of tcSplitTyConApp, which
resulted in bogus error messages

2. TcType.isTauTy should not look through SourceTy
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
ghc/compiler/typecheck/TcMonoType.lhs diff | blob | history
ghc/compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)