summaryrefslogtreecommitdiff
path: root/src/cjrize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-17 10:38:03 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-17 10:38:03 -0400
commit462c9d472ebe1a585e3bddb103a3f7cf1cdc64e5 (patch)
treec57ef255d292387fa8cff95182d164437f64b3e5 /src/cjrize.sml
parente3313edc92a73932ff57b1c803fe7e408283406f (diff)
Tagging (non-mutual) 'val rec'
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r--src/cjrize.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml
index dcbfbce3..5f2f69c0 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -195,6 +195,7 @@ fun cifyDecl ((d, loc), sm) =
in
(SOME (d, loc), NONE, sm)
end
+ | L.DValRec _ => raise Fail "Cjrize DValRec"
| L.DExport (s, n, ts) =>
let
val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts