Mercurial > urweb

comparison src/cjr.sml @ 1845:c1e3805e604e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Mar 2013 16:09:55 -0400
parents 0577be31a435
children 98895243b5b6
comparison
equal deleted inserted replaced
1844:2c5e6f78560c 1845:c1e3805e604e
126 | DTask of task * string (* first arg name *) * string * exp 126 | DTask of task * string (* first arg name *) * string * exp
127 | DOnError of int 127 | DOnError of int
128 128
129 withtype decl = decl' located 129 withtype decl = decl' located
130 130
131 datatype sidedness = 131 datatype sidedness = datatype Mono.sidedness
132 ServerOnly
133 | ServerAndPull
134 | ServerAndPullAndPush
135 132
136 datatype effect = datatype Export.effect 133 datatype effect = datatype Export.effect
137 datatype export_kind = datatype Export.export_kind 134 datatype export_kind = datatype Export.export_kind
138 135
139 type file = decl list * (export_kind * string * int * typ list * typ * sidedness * bool) list 136 type file = decl list * (export_kind * string * int * typ list * typ * sidedness * bool) list