From 8bd1d1b3a4750b26f1540717839c1aa196f2a520 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 17 May 2017 20:23:02 -0400
Subject: - Renamed "Error" to "Result".

---
 new-luxc/source/luxc/synthesizer.lux | 25 +++++++++++++------------
 1 file changed, 13 insertions(+), 12 deletions(-)

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

diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux
index c0aaec6ad..d2f559c3e 100644
--- a/new-luxc/source/luxc/synthesizer.lux
+++ b/new-luxc/source/luxc/synthesizer.lux
@@ -13,7 +13,7 @@
   (-> Analysis Synthesis)
   (case analysis
     (^template [<from> <to>]
-      [meta (<from> value)]
+      (<from> value)
       (<to> value))
     ([#la;Unit     #ls;Unit]
      [#la;Bool     #ls;Bool]
@@ -26,20 +26,21 @@
      [#la;Relative #ls;Relative]
      [#la;Absolute #ls;Absolute])
 
-    [meta (#la;Tuple values)]
+    (#la;Tuple values)
     (#ls;Tuple (L/map synthesize values))
 
-    [meta (#la;Variant tag last? value)]
-    (#ls;Variant tag last? (synthesize value))
+    (#la;Variant tag last? value)
+    (undefined)
 
-    [meta (#la;Function scope body)]
-    (#ls;Function scope (synthesize body))
+    (#la;Case pattern)
+    (undefined)
 
-    [meta (#la;Call func args)]
-    (#ls;Call (synthesize func) (L/map synthesize args))
+    (#la;Function scope body)
+    (undefined)
+
+    (#la;Apply arg func)
+    (undefined)
     
-    [meta (#la;Procedure name args)]
+    (#la;Procedure name args)
     (#ls;Procedure name (L/map synthesize args))
-    
-    [meta (#la;Case pattern)]
-    (undefined)))
+    ))
-- 
cgit v1.2.3