summaryrefslogtreecommitdiff
path: root/src/checknest.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-03 12:47:27 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-03 12:47:27 -0500
commit9890b6de2e6877c67650f64410127ee2dfe8581e (patch)
tree784c36f589cbacce89a4ab23334fda77871e7961 /src/checknest.sml
parentd777d7da78fccb8f15eccff680deca36ae57314b (diff)
Proper C-side deserialization; Shake.sliceDb
Diffstat (limited to 'src/checknest.sml')
-rw-r--r--src/checknest.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/checknest.sml b/src/checknest.sml
index c0f843d6..a53c7083 100644
--- a/src/checknest.sml
+++ b/src/checknest.sml
@@ -89,7 +89,7 @@ fun expUses globals =
end
| ESetval {seq, count} => IS.union (eu seq, eu count)
- | EUnurlify (e, _) => eu e
+ | EUnurlify (e, _, _) => eu e
in
eu
end
@@ -149,7 +149,7 @@ fun annotateExp globals =
(ESetval {seq = ae seq,
count = ae count}, loc)
- | EUnurlify (e, t) => (EUnurlify (ae e, t), loc)
+ | EUnurlify (e, t, b) => (EUnurlify (ae e, t, b), loc)
in
ae
end