From 19c589edc2c1dd77550e26d4f5cf78ec772da337 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 31 Oct 2017 22:26:13 -0400
Subject: - Migrated the format of analysis nodes from a custom data-type, to
 just Code nodes.

---
 new-luxc/source/luxc/lang/variable.lux | 47 ++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 new-luxc/source/luxc/lang/variable.lux

(limited to 'new-luxc/source/luxc/lang/variable.lux')

diff --git a/new-luxc/source/luxc/lang/variable.lux b/new-luxc/source/luxc/lang/variable.lux
new file mode 100644
index 000000000..c04269e63
--- /dev/null
+++ b/new-luxc/source/luxc/lang/variable.lux
@@ -0,0 +1,47 @@
+(;module:
+  lux
+  (lux (data (coll [list "list/" Functor<List>]))))
+
+(def: #export Variable Int)
+(def: #export Register Nat)
+
+(def: #export (captured register)
+  (-> Nat Variable)
+  (|> register n.inc nat-to-int (i.* -1)))
+
+(def: #export (local register)
+  (-> Nat Variable)
+  (nat-to-int register))
+
+(def: #export (local-register variable)
+  (-> Variable Register)
+  (int-to-nat variable))
+
+(def: #export (captured-register variable)
+  (-> Variable Register)
+  (|> variable (i.* -1) int-to-nat n.dec))
+
+(do-template [<name> <comp>]
+  [(def: #export (<name> var)
+     (-> Variable Bool)
+     (<comp> 0 var))]
+
+  [self?     i.=]
+  [local?    i.>]
+  [captured? i.<]
+  )
+
+(def: #export (from-ref ref)
+  (-> Ref Variable)
+  (case ref
+    (#;Local register)
+    (local register)
+    
+    (#;Captured register)
+    (captured register)))
+
+(def: #export (environment scope)
+  (-> Scope (List Variable))
+  (|> scope
+      (get@ [#;captured #;mappings])
+      (list/map (function [[_ [_ ref]]] (from-ref ref)))))
-- 
cgit v1.2.3