Mercurial > urweb

comparison src/cjr.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 f7e2026dd5ae
comparison
equal deleted inserted replaced
730:1b1047992ecf 731:e0dd85ea58e1
27 27
28 structure Cjr = struct 28 structure Cjr = struct
29 29
30 type 'a located = 'a ErrorMsg.located 30 type 'a located = 'a ErrorMsg.located
31 31
32 datatype datatype_kind = datatype Mono.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 int 36 | TRecord of int
37 | TDatatype of datatype_kind * int * (string * int * typ option) list ref 37 | TDatatype of datatype_kind * int * (string * int * typ option) list ref
118 datatype sidedness = 118 datatype sidedness =
119 ServerOnly 119 ServerOnly
120 | ServerAndPull 120 | ServerAndPull
121 | ServerAndPullAndPush 121 | ServerAndPullAndPush
122 122
123 type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list 123 datatype effect = datatype Export.effect
124 datatype export_kind = datatype Export.export_kind
125
126 type file = decl list * (export_kind * string * int * typ list * typ * sidedness) list
124 127
125 end 128 end