From 4480e41e949ba3ba0c9bceeed43e3f144f82103b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 6 Jun 2017 20:23:15 -0400
Subject: - Now optimizing functions.

---
 new-luxc/source/luxc/synthesizer/structure.lux | 28 ++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 new-luxc/source/luxc/synthesizer/structure.lux

(limited to 'new-luxc/source/luxc/synthesizer/structure.lux')

diff --git a/new-luxc/source/luxc/synthesizer/structure.lux b/new-luxc/source/luxc/synthesizer/structure.lux
new file mode 100644
index 000000000..403817c53
--- /dev/null
+++ b/new-luxc/source/luxc/synthesizer/structure.lux
@@ -0,0 +1,28 @@
+(;module:
+  lux
+  (luxc (lang ["la" analysis])))
+
+(def: #export (unfold-tuple tuple)
+  (-> la;Analysis (List la;Analysis))
+  (case tuple
+    (#la;Product left right)
+    (#;Cons left (unfold-tuple right))
+
+    _
+    (list tuple)))
+
+(def: #export (unfold-variant variant)
+  (-> (Either la;Analysis la;Analysis) [Nat Bool la;Analysis])
+  (loop [so-far +0
+         variantA variant]
+    (case variantA
+      (#;Left valueA)
+      (case valueA
+        (#la;Sum choice)
+        (recur (n.inc so-far) choice)
+
+        _
+        [so-far false valueA])
+      
+      (#;Right valueA)
+      [(n.inc so-far) true valueA])))
-- 
cgit v1.2.3