projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04db733) | patch
[project @ 1997-10-15 14:17:30 by simonm]
authorsimonm <unknown>
Wed, 15 Oct 1997 14:17:30 +0000 (14:17 +0000)
committersimonm <unknown>
Wed, 15 Oct 1997 14:17:30 +0000 (14:17 +0000)
commitf379bcfed2ee2f72b30ed9d2d2cdf344ffb05d5e
treea0d3b752580c02eb46ec4bdb9efc48c2fb4d2418tree | snapshot
parent04db733c4cadb938179df34ac9461e542c8a51f8commit | diff
[project @ 1997-10-15 14:17:30 by simonm]
Simon's fix for type synonym arities.  The arity of a synonym must by
less than or eqaul to the number of arguments supplied (test
typecheck/should_compile/tc093.hs).
ghc/compiler/typecheck/TcMonoType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)