Mercurial > urweb

comparison src/mono.sml @ 196:890a61991263

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children 326fb4686f60
comparison
equal deleted inserted replaced
195:85b5f663bb86 196:890a61991263
32 datatype datatype_kind = datatype Core.datatype_kind 32 datatype datatype_kind = datatype Core.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 datatype_kind * int * (string * int * typ option) list 37 | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
38 | TFfi of string * string 38 | TFfi of string * string
39 39
40 withtype typ = typ' located 40 withtype typ = typ' located
41 41
42 datatype patCon = 42 datatype patCon =