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/ElabData/syntax/varcon.sig
ViewVC logotype

Annotation of /sml/trunk/compiler/ElabData/syntax/varcon.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 902 (* varcon.sig
2 :     *
3 :     * (C) 2001 Lucent Technologies, Bell Labs
4 :     *)
5 :     signature VARCON =
6 :     sig
7 :    
8 :     datatype var
9 :     = VALvar of (* ordinary variables *)
10 :     {path : SymPath.path,
11 :     typ : Types.ty ref,
12 : dbm 3117 btvs : Types.tyvar list ref,
13 : blume 902 access : Access.access,
14 : dbm 2492 prim : PrimOpId.primId}
15 : blume 902 | OVLDvar of (* overloaded identifier *)
16 : dbm 2492 {name : Symbol.symbol,
17 :     options: {indicator: Types.ty, variant: var} list ref,
18 :     scheme: Types.tyfun}
19 : blume 902 | ERRORvar
20 :    
21 :     type datacon = Types.datacon
22 :    
23 :     datatype value
24 :     = VAL of var
25 :     | CON of datacon
26 :    
27 :     val mkVALvar : Symbol.symbol * Access.access -> var
28 :    
29 :     val bogusCON : datacon
30 : blume 903 val bogusEXN : datacon
31 : blume 902
32 : dbm 2492 end (* signature VARCON *)

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