projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41aba23) | patch
[project @ 2002-02-04 11:59:55 by simonpj]
authorsimonpj <unknown>
Mon, 4 Feb 2002 11:59:55 +0000 (11:59 +0000)
committersimonpj <unknown>
Mon, 4 Feb 2002 11:59:55 +0000 (11:59 +0000)
commit18dbe3645facc952792764a1982c6b337a167a99
tree8f0e5279f26125bd68c934762b26b51b990110dftree | snapshot
parent41aba23aff2e102906b0abf47f153fec0265ce5fcommit | diff
[project @ 2002-02-04 11:59:55 by simonpj]
-----------------------------
Improve type validity checking
-----------------------------

Two main effects here

a) Type synonyms can be unboxed tuples
tupe T = (# Int, Int #)

f :: Int -> T

b) Hoisting works for implicit parameters

f :: Int -> (?x::Int) => Int
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
ghc/compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)