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 4431 - (view) (download) (as text)

1 : blume 902 (* varcon.sig
2 :     *
3 : jhr 4431 * COPYRIGHT (c) 2017 The Fellowship of SML/NJ (http://www.smlnj.org)
4 :     * All rights reserved.
5 : blume 902 *)
6 : jhr 4431
7 : blume 902 signature VARCON =
8 :     sig
9 :    
10 :     datatype var
11 :     = VALvar of (* ordinary variables *)
12 :     {path : SymPath.path,
13 :     typ : Types.ty ref,
14 : dbm 3117 btvs : Types.tyvar list ref,
15 : blume 902 access : Access.access,
16 : jhr 4431 prim : PrimopId.prim_id}
17 : blume 902 | OVLDvar of (* overloaded identifier *)
18 : dbm 2492 {name : Symbol.symbol,
19 : dbm 4000 options: {indicator: Types.ty, variant: var} list,
20 : dbm 2492 scheme: Types.tyfun}
21 : blume 902 | ERRORvar
22 :    
23 :     type datacon = Types.datacon
24 :    
25 :     datatype value
26 :     = VAL of var
27 :     | CON of datacon
28 :    
29 :     val mkVALvar : Symbol.symbol * Access.access -> var
30 :    
31 :     val bogusCON : datacon
32 : blume 903 val bogusEXN : datacon
33 : blume 902
34 : dbm 2492 end (* signature VARCON *)

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