Mercurial > urweb

comparison src/elab.sml @ 34:44b5405e74c7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating module projection
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Jun 2008 16:38:54 -0400
parents 1c91c5e6840f
children 1405d8c26790
comparison
equal deleted inserted replaced
33:535c324f0b35 34:44b5405e74c7
49 | TCFun of explicitness * string * kind * con 49 | TCFun of explicitness * string * kind * con
50 | TRecord of con 50 | TRecord of con
51 51
52 | CRel of int 52 | CRel of int
53 | CNamed of int 53 | CNamed of int
54 | CModProj of int * string list * string
54 | CApp of con * con 55 | CApp of con * con
55 | CAbs of string * kind * con 56 | CAbs of string * kind * con
56 57
57 | CName of string 58 | CName of string
58 59
66 67
67 datatype exp' = 68 datatype exp' =
68 EPrim of Prim.t 69 EPrim of Prim.t
69 | ERel of int 70 | ERel of int
70 | ENamed of int 71 | ENamed of int
72 | EModProj of int * string list * string
71 | EApp of exp * exp 73 | EApp of exp * exp
72 | EAbs of string * con * con * exp 74 | EAbs of string * con * con * exp
73 | ECApp of exp * con 75 | ECApp of exp * con
74 | ECAbs of explicitness * string * kind * exp 76 | ECAbs of explicitness * string * kind * exp
75 77
101 | DStr of string * int * sgn * str 103 | DStr of string * int * sgn * str
102 104
103 and str' = 105 and str' =
104 StrConst of decl list 106 StrConst of decl list
105 | StrVar of int 107 | StrVar of int
108 | StrProj of str * string
106 | StrError 109 | StrError
107 110
108 withtype decl = decl' located 111 withtype decl = decl' located
109 and str = str' located 112 and str = str' located
110 113