Mercurial > urweb

comparison src/mono.sml @ 808:d8f58d488cfb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Pathcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:55:15 -0400
parents fa2019a63ea4
children 493f44759879
comparison
equal deleted inserted replaced
807:61a1f5c5ae2c 808:d8f58d488cfb
119 | ESleep of exp * exp 119 | ESleep of exp * exp
120 120
121 withtype exp = exp' located 121 withtype exp = exp' located
122 122
123 datatype decl' = 123 datatype decl' =
124 DDatatype of string * int * (string * int * typ option) list 124 DDatatype of (string * int * (string * int * typ option) list) list
125 | DVal of string * int * typ * exp * string 125 | DVal of string * int * typ * exp * string
126 | DValRec of (string * int * typ * exp * string) list 126 | DValRec of (string * int * typ * exp * string) list
127 | DExport of export_kind * string * int * typ list * typ 127 | DExport of export_kind * string * int * typ list * typ
128 128
129 | DTable of string * (string * typ) list * exp * exp 129 | DTable of string * (string * typ) list * exp * exp