From b225596addee1a3cfd6c3189cff923e7f0e8f7c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Dec 2009 14:20:41 -0500
Subject: Initializers and setval

---
 src/checknest.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/checknest.sml')

diff --git a/src/checknest.sml b/src/checknest.sml
index 49519705..c0f843d6 100644
--- a/src/checknest.sml
+++ b/src/checknest.sml
@@ -87,6 +87,7 @@ fun expUses globals =
                         SOME {id, ...} => IS.add (s, id)
                       | _ => s
                 end
+              | ESetval {seq, count} => IS.union (eu seq, eu count)
 
               | EUnurlify (e, _) => eu e
     in
@@ -144,6 +145,9 @@ fun annotateExp globals =
               | ENextval {seq, prepared} =>
                 (ENextval {seq = ae seq,
                            prepared = prepared}, loc)
+              | ESetval {seq, count} =>
+                (ESetval {seq = ae seq,
+                          count = ae count}, loc)
 
               | EUnurlify (e, t) => (EUnurlify (ae e, t), loc)
     in
-- 
cgit v1.2.3