Mercurial > urweb

comparison src/core.sml @ 731:e0dd85ea58e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Label exported symbols by effect-ness; factor out some common datatypes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 14:49:25 -0400
parents acb8537f58f0
children 8688e01ae469
comparison
equal deleted inserted replaced
730:1b1047992ecf 731:e0dd85ea58e1
68 | CTuple of con list 68 | CTuple of con list
69 | CProj of con * int 69 | CProj of con * int
70 70
71 withtype con = con' located 71 withtype con = con' located
72 72
73 datatype datatype_kind = datatype Elab.datatype_kind 73 datatype datatype_kind = datatype DatatypeKind.datatype_kind
74 74
75 datatype patCon = 75 datatype patCon =
76 PConVar of int 76 PConVar of int
77 | PConFfi of {mod : string, datatyp : string, params : string list, 77 | PConFfi of {mod : string, datatyp : string, params : string list,
78 con : string, arg : con option, kind : datatype_kind} 78 con : string, arg : con option, kind : datatype_kind}
117 117
118 | EServerCall of int * exp list * exp * con 118 | EServerCall of int * exp list * exp * con
119 119
120 withtype exp = exp' located 120 withtype exp = exp' located
121 121
122 datatype export_kind = 122 datatype effect = datatype Export.effect
123 Link 123 datatype export_kind = datatype Export.export_kind
124 | Action
125 | Rpc
126 124
127 datatype decl' = 125 datatype decl' =
128 DCon of string * int * kind * con 126 DCon of string * int * kind * con
129 | DDatatype of string * int * string list * (string * int * con option) list 127 | DDatatype of string * int * string list * (string * int * con option) list
130 | DVal of string * int * con * exp * string 128 | DVal of string * int * con * exp * string