[project @ 1998-12-02 13:17:09 by simonm]
[ghc-hetmet.git] / ghc / interpreter / type.h
1 extern  Type   typeCheckExp     Args((Bool));
2 extern  Void   typeCheckDefns   Args((Void));
3 extern  Cell   provePred        Args((Kinds,List,Cell));
4 extern  List   simpleContext    Args((List,Int));
5 extern  Cell   rhsExpr          Args((Cell));
6 extern  Int    rhsLine          Args((Cell));
7 extern  List   offsetTyvarsIn   Args((Type,List));
8 extern  Type   primType         Args((Int/*AsmMonad*/,String,String));
9 extern  Type   conToTagType     Args((Tycon));
10 extern  Type   tagToConType     Args((Tycon));
11 extern  Void   mkTypes          Args((Void));
12