Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/mono.sml Sat Aug 09 12:50:49 2008 -0400 +++ b/src/mono.sml Sat Aug 09 16:48:32 2008 -0400 @@ -34,7 +34,7 @@ datatype typ' = TFun of typ * typ | TRecord of (string * typ) list - | TDatatype of datatype_kind * int * (string * int * typ option) list + | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref | TFfi of string * string withtype typ = typ' located