Mercurial > urweb

comparison src/mono.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 4c5796512edc
children 796e42c93c48
comparison
equal deleted inserted replaced
730:1b1047992ecf 731:e0dd85ea58e1
27 27
28 structure Mono = struct 28 structure Mono = struct
29 29
30 type 'a located = 'a ErrorMsg.located 30 type 'a located = 'a ErrorMsg.located
31 31
32 datatype datatype_kind = datatype Core.datatype_kind 32 datatype datatype_kind = datatype DatatypeKind.datatype_kind
33 33
34 datatype typ' = 34 datatype typ' =
35 TFun of typ * typ 35 TFun of typ * typ
36 | TRecord of (string * typ) list 36 | TRecord of (string * typ) list
37 | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref 37 | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
113 | ERecv of exp * exp * typ 113 | ERecv of exp * exp * typ
114 | ESleep of exp * exp 114 | ESleep of exp * exp
115 115
116 withtype exp = exp' located 116 withtype exp = exp' located
117 117
118 datatype effect = datatype Export.effect
119 datatype export_kind = datatype Export.export_kind
120
118 datatype decl' = 121 datatype decl' =
119 DDatatype of string * int * (string * int * typ option) list 122 DDatatype of string * int * (string * int * typ option) list
120 | DVal of string * int * typ * exp * string 123 | DVal of string * int * typ * exp * string
121 | DValRec of (string * int * typ * exp * string) list 124 | DValRec of (string * int * typ * exp * string) list
122 | DExport of Core.export_kind * string * int * typ list * typ 125 | DExport of export_kind * string * int * typ list * typ
123 126
124 | DTable of string * (string * typ) list * exp * exp 127 | DTable of string * (string * typ) list * exp * exp
125 | DSequence of string 128 | DSequence of string
126 | DDatabase of {name : string, expunge : int, initialize : int} 129 | DDatabase of {name : string, expunge : int, initialize : int}
127 130
128 | DJavaScript of string 131 | DJavaScript of string
129 132
130 | DCookie of string 133 | DCookie of string
131 | DStyle of string 134 | DStyle of string
132 135
133
134 withtype decl = decl' located 136 withtype decl = decl' located
135 137
136 type file = decl list 138 type file = decl list
137 139
138 end 140 end