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