- Type-vars no longer get deleted.

- Fixed some bugs.

1 files changed, 12 insertions, 0 deletions

diff --git a/new-luxc/source/luxc/base.lux b/new-luxc/source/luxc/base.lux
index 580f5593f..c7768cd8c 100644
--- a/new-luxc/source/luxc/base.lux
+++ b/new-luxc/source/luxc/base.lux
@@ -63,6 +63,18 @@
       (#e;Success [(set@ #;type-context context' compiler)
                    output]))))
 
+(def: #export (with-fresh-type-env action)
+  (All [a] (-> (Meta a) (Meta a)))
+  (function [compiler]
+    (let [old (get@ #;type-context compiler)]
+      (case (action (set@ #;type-context tc;fresh-context compiler))
+        (#e;Success [compiler' output])
+        (#e;Success [(set@ #;type-context old compiler')
+                     output])
+
+        output
+        output))))
+
 (def: #export (infer actualT)
   (-> Type (Meta Unit))
   (do meta;Monad<Meta>