Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/mono.sml	Sat May 16 15:45:12 2009 -0400
+++ b/src/mono.sml	Sat May 16 15:55:15 2009 -0400
@@ -121,7 +121,7 @@
 withtype exp = exp' located
 
 datatype decl' =
-         DDatatype of string * int * (string * int * typ option) list
+         DDatatype of (string * int * (string * int * typ option) list) list
        | DVal of string * int * typ * exp * string
        | DValRec of (string * int * typ * exp * string) list
        | DExport of export_kind * string * int * typ list * typ