From b6c3a84b536235a53bdfaf0f96d76413bc222ba7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 30 Oct 2017 21:49:35 -0400
Subject: - Migrated the format of synthesis nodes from a custom data-type, to
 just Code nodes.

---
 new-luxc/source/luxc/lang/synthesis.lux | 38 ++-------------------------------
 1 file changed, 2 insertions(+), 36 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index dab2d84e6..96053edc0 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -5,40 +5,6 @@
 (def: #export Register Nat)
 (def: #export Variable Int)
 
-(type: #export (Path' s)
-  #UnitP
-  (#BoolP Bool)
-  (#NatP Nat)
-  (#IntP Int)
-  (#DegP Deg)
-  (#FracP Frac)
-  (#TextP Text)
-  (#VariantP (Either Nat Nat) (Path' s))
-  (#TupleP (Either Nat Nat) (Path' s))
-  (#BindP Nat)
-  (#AltP (Path' s) (Path' s))
-  (#SeqP (Path' s) (Path' s))
-  (#ExecP s))
+(type: #export Synthesis Code)
 
-(type: #export #rec Synthesis
-  #Unit
-  (#Bool Bool)
-  (#Nat Nat)
-  (#Int Int)
-  (#Deg Deg)
-  (#Frac Frac)
-  (#Text Text)
-  (#Variant Nat Bool Synthesis)
-  (#Tuple (List Synthesis))
-  (#Case Synthesis (Path' Synthesis))
-  (#Function Arity (List Variable) Synthesis)
-  (#Call (List Synthesis) Synthesis)
-  (#Recur (List Synthesis))
-  (#Procedure Text (List Synthesis))
-  (#Variable Variable)
-  (#Definition Ident)
-  (#Let Register Synthesis Synthesis)
-  (#If Synthesis Synthesis Synthesis)
-  (#Loop Register (List Synthesis) Synthesis))
-
-(type: #export Path (Path' Synthesis))
+(type: #export Path Code)
-- 
cgit v1.2.3