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/src/compiler/Semant/elaborate/elabtype.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/Semant/elaborate/elabtype.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (view) (download) (as text)

1 : monnier 16 (* 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 elabDB :
16 :     (Types.tyvar list * Symbol.symbol
17 :     * (Symbol.symbol * Ast.ty option) list * SourceMap.region)
18 :     * StaticEnv.staticEnv * InvPath.path * ErrorMsg.errorFn
19 :     -> VarCon.datacon list * StaticEnv.staticEnv
20 :    
21 :     val elabTYPEdec :
22 :     Ast.tb list * StaticEnv.staticEnv * InvPath.path
23 :     * SourceMap.region * ElabUtil.compInfo
24 :     -> Absyn.dec * StaticEnv.staticEnv
25 :    
26 :     val elabDATATYPEdec :
27 :     {datatycs: Ast.db list, withtycs: Ast.tb list} * StaticEnv.staticEnv
28 :     * ExpandTycon.sigContext * EntityEnv.entityEnv
29 :     * (Types.tycon -> bool) * InvPath.path
30 :     * SourceMap.region * ElabUtil.compInfo
31 :     -> Types.tycon list * Types.tycon list * VarCon.datacon list
32 :     * StaticEnv.staticEnv
33 :    
34 :     val debugging : bool ref
35 :    
36 :     end (* signature ELABTYPE *)
37 :    

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