diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-29 15:43:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 15:43:17 -0400 |
| commit | 846cf3f1661a8c91e40d80382db28c76dceaf1f0 (patch) | |
| tree | fe42c0c78660d50832719e1ae9fd9cda2d7e603f /src/cjr_print.sml | |
| parent | cb3b3831a07d6674a5fa02e3e8a1e4329b58cb34 (diff) | |
Storing datatype constructors in type references past monoize
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index ab102800..b0ea7214 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -53,7 +53,7 @@ structure CM = BinaryMapFn(struct val debug = ref false -val dummyTyp = (TDatatype 0, ErrorMsg.dummySpan) +val dummyTyp = (TDatatype (0, []), ErrorMsg.dummySpan) fun p_typ' par env (t, loc) = case t of @@ -69,7 +69,7 @@ fun p_typ' par env (t, loc) = space, string "__lws_", string (Int.toString i)] - | TDatatype n => + | TDatatype (n, _) => (box [string "struct", space, string ("__lwd_" ^ #1 (E.lookupDatatype env n) ^ "_" ^ Int.toString n ^ "*")] @@ -445,7 +445,7 @@ fun p_file env (ds, ps) = string "})"] end - | TDatatype i => + | TDatatype (i, _) => let val (x, xncs) = E.lookupDatatype env i |