From 3316f3c317e587a5fc2ecf38f061a72b48e3b94e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 10:17:06 -0400
Subject: Remove closure conversion in favor of zany fun with modules, which
 also replaces 'page'

---
 src/elab_env.sml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'src/elab_env.sml')

diff --git a/src/elab_env.sml b/src/elab_env.sml
index be49d06f..b0550299 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -91,6 +91,14 @@ type env = {
 
 val namedCounter = ref 0
 
+fun newNamed () =
+    let
+        val r = !namedCounter
+    in
+        namedCounter := r + 1;
+        r
+    end
+
 val empty = {
     renameC = SM.empty,
     relC = [],
@@ -292,7 +300,7 @@ fun declBinds env (d, _) =
       | DStr (x, n, sgn, _) => pushStrNamedAs env x n sgn
       | DFfiStr (x, n, sgn) => pushStrNamedAs env x n sgn
       | DConstraint _ => env
-      | DPage _ => env
+      | DExport _ => env
 
 fun sgiBinds env (sgi, _) =
     case sgi of
-- 
cgit v1.2.3