Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/compiler/Elaborator/elaborate/elabtype.sig
ViewVC logotype

Annotation of /sml/trunk/compiler/Elaborator/elaborate/elabtype.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 902 - (view) (download) (as text)
Original Path: sml/trunk/src/compiler/Elaborator/elaborate/elabtype.sig

1 : blume 902 (* COPYRIGHT (c) 1998 Bell Laboratories *)
2 :     (* elabtype.sig *)
3 :    
4 :     signature ELABTYPE =
5 :     sig
6 :    
7 :     val elabType :
8 :     Ast.ty * StaticEnv.staticEnv * ErrorMsg.errorFn * SourceMap.region
9 :     -> Types.ty * TyvarSet.tyvarset
10 :    
11 :     val elabTyvList :
12 :     Ast.tyvar list * ErrorMsg.errorFn * SourceMap.region
13 :     -> Types.tyvar list
14 :    
15 :     val elabTYPEdec :
16 :     Ast.tb list * StaticEnv.staticEnv * InvPath.path
17 :     * SourceMap.region * ElabUtil.compInfo
18 :     -> Absyn.dec * StaticEnv.staticEnv
19 :    
20 :     val elabDATATYPEdec :
21 :     {datatycs: Ast.db list, withtycs: Ast.tb list} * StaticEnv.staticEnv
22 :     * ExpandTycon.sigContext * EntityEnv.entityEnv
23 :     * (Types.tycon -> bool) * InvPath.path
24 :     * SourceMap.region * ElabUtil.compInfo
25 :     -> Types.tycon list * Types.tycon list * VarCon.datacon list
26 :     * StaticEnv.staticEnv
27 :    
28 :     val debugging : bool ref
29 :    
30 :     end (* signature ELABTYPE *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0