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/statenv/lookup.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/Semant/statenv/lookup.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 16 (* COPYRIGHT 1996 Bell Laboratories *)
2 :     (* lookup.sig *)
3 :    
4 :     signature LOOKUP =
5 :     sig
6 :     val lookFix : StaticEnv.staticEnv * Symbol.symbol -> Fixity.fixity
7 :    
8 :     val lookSig : StaticEnv.staticEnv * Symbol.symbol * ErrorMsg.complainer
9 :     -> Modules.Signature
10 :    
11 :     val lookFsig : StaticEnv.staticEnv * Symbol.symbol * ErrorMsg.complainer
12 :     -> Modules.fctSig
13 :    
14 :     val lookStr : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
15 :     -> Modules.Structure
16 :    
17 :     val lookStrDef : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
18 :     -> Modules.strDef
19 :    
20 :     val lookFct : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
21 :     -> Modules.Functor
22 :    
23 :     val lookTyc : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
24 :     -> Types.tycon
25 :    
26 :     val lookArTyc : StaticEnv.staticEnv * SymPath.path * int
27 :     * ErrorMsg.complainer -> Types.tycon
28 :    
29 :     (* lookValSym and lookSym return value or constructor bindings *)
30 :     val lookValSym : StaticEnv.staticEnv * Symbol.symbol * ErrorMsg.complainer
31 :     -> VarCon.value
32 :    
33 :     val lookVal : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
34 :     -> VarCon.value
35 :    
36 :     val lookExn : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
37 :     -> VarCon.datacon
38 :    
39 :     end (* signature LOOKUP *)
40 :    
41 :     (*
42 :     * $Log: lookup.sig,v $
43 :     * Revision 1.2 1997/05/20 12:20:19 dbm
44 :     * SML '97 sharing, where structure.
45 :     *
46 :     * Revision 1.1.1.1 1997/01/14 01:38:36 george
47 :     * Version 109.24
48 :     *
49 :     *)

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