projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
[project @ 2004-10-07 16:08:36 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.hi-boot
1 _interface_ TcUnify 1
2 _exports_
3 TcUnify unifyTauTy;
4 _declarations_
5 1 unifyTauTy _:_ TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM () ;;
6
7
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)