projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 1998-02-02 12:41:57 by simonm]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcType.hi-boot
1 _interface_ TcType 1
2 _exports_
3 TcType TcMaybe TcTyVarSet;
4 _declarations_
5 1 data TcMaybe a;
6 1 type TcTyVarSet a = TyVar.GenTyVarSet (ArrBase.MutableVar a (TcMaybe a));
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)