Mercurial > urweb
comparison src/mono.sml @ 196:890a61991263
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 = |