1 files changed, 2 insertions, 36 deletions
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)