projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf2edc3) | patch
[project @ 2001-10-29 17:59:37 by simonmar]
authorsimonmar <unknown>
Mon, 29 Oct 2001 17:59:37 +0000 (17:59 +0000)
committersimonmar <unknown>
Mon, 29 Oct 2001 17:59:37 +0000 (17:59 +0000)
commita7bad5034c1163d36522d23c4bafff3354de1d88
treeb9743492389c45ba880c55607d110685ae16248atree | snapshot
parentcf2edc34e8b124993828a2b6da4126c43afcbf99commit | diff
[project @ 2001-10-29 17:59:37 by simonmar]
Give the template tyvars nice print names, as per a suggestion from
Koen Claessen.

Prelude> :i []
-- [] is a data constructor
[] :: forall a. [a]

-- [] is a type constructor
data [] a = [] | (:) a [a]
ghc/compiler/prelude/TysPrim.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)