calculate free variables

Makefile

@@ -23,7 +23,7 @@ ifeq ($(MODE),production)
 	CCMODE:= -O2
 	EXTRA_DEFINES:= -DPRODUCTION_BUILD -DBUILD_MODE=2
 else
-$(error invalid MODE $(MODE))
+$(error invalid MODE=$(MODE), allowed values: debugging, testing or production)
 endif
 endif
 endif

fn/ceskf.fn

@@ -142,11 +142,11 @@ let
         (Σ(cexp(letrec(bindings, body)), ρ, σ, κ, ς)) {
             let
                 inds = indices(bindings, σ);
-                ks = list.map(unsafe fn (#(k, _)) { k }, bindings);
+                ks = list.map(fn (#(k, _)) { k }, bindings);
                 e = zipEnv(ks, inds, ρ);
                 tempStore = list.repeat_prefix(list.length(inds), f, σ);
                 s = list.map_prefix(A(e, tempStore),
-                                    list.map(unsafe fn (#(_, v)) { v }, bindings),
+                                    list.map(fn (#(_, v)) { v }, bindings),
                                     σ);
             in
                 Σ(body, e, s, κ, ς)

fn/dictionary.fn

@@ -42,6 +42,26 @@ fn foreach {
     }
 }
 
+fn keys (d) {
+    let fn h {
+        (E, lst) | (EE, lst) { lst }
+        (D(_, l, #(k, _), r), lst) {
+            h(l, k @ h(r, lst))
+        }
+    }
+    in h(d, [])
+}
+
+fn values (d) {
+    let fn h {
+        (E, lst) | (EE, lst) { lst }
+        (D(_, l, #(_, v), r), lst) {
+            h(l, v @ h(r, lst))
+        }
+    }
+    in h(d, [])
+}
+
 fn balance {
     (B, D(R, D(R, a, x, b), y, c), z, d)  |
     (B, D(R, a, x, D(R, b, y, c)), z, d)  |

fn/listutils.fn

@@ -7,6 +7,18 @@ fn member {
     (x, _ @ t) { member(x, t) }
 }
 
+// unique: list(#a) -> list(#a)
+fn unique {
+    ([]) { [] }
+    (h @ t) {
+        if (member(h, t)) {
+            unique(t)
+        } else {
+            h @ unique(t)
+        }
+    }
+}
+
 // exclude: list(#t) -> list(#t) -> list(#t)
 fn exclude {
     (items, []) { [] }