Mercurial > urweb

comparison src/cjr.sml @ 2056:a9159911c3ba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New phase: Dbmodecheck
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Aug 2014 13:07:56 -0400
parents 98895243b5b6
children
comparison
equal deleted inserted replaced
2055:7c2229aa22fc 2056:a9159911c3ba
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 = datatype Mono.sidedness 131 datatype sidedness = datatype Mono.sidedness
132 datatype dbmode = datatype Mono.dbmode
132 133
133 datatype effect = datatype Export.effect 134 datatype effect = datatype Export.effect
134 datatype export_kind = datatype Export.export_kind 135 datatype export_kind = datatype Export.export_kind
135 136
136 type file = decl list * (export_kind * string * int * typ list * typ * sidedness * bool) list 137 type file = decl list * (export_kind * string * int * typ list * typ * sidedness * dbmode * bool) list
137 138
138 end 139 end