aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/synthesis.lux10
1 files changed, 4 insertions, 6 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index b86f49fb2..ad31d0138 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -6,17 +6,16 @@
(def: #export Variable Int)
(type: #export (Path' s)
- #PopP
- (#BindP Nat)
+ #UnitP
(#BoolP Bool)
(#NatP Nat)
(#IntP Int)
(#DegP Deg)
(#RealP Real)
- (#CharP Char)
(#TextP Text)
- (#VariantP (Either Nat Nat))
- (#TupleP (Either Nat Nat))
+ (#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))
@@ -28,7 +27,6 @@
(#Int Int)
(#Deg Deg)
(#Real Real)
- (#Char Char)
(#Text Text)
(#Variant Nat Bool Synthesis)
(#Tuple (List Synthesis))