aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang')
-rw-r--r--new-luxc/source/luxc/lang/analysis.lux3
-rw-r--r--new-luxc/source/luxc/lang/pattern.lux3
-rw-r--r--new-luxc/source/luxc/lang/synthesis.lux3
3 files changed, 3 insertions, 6 deletions
diff --git a/new-luxc/source/luxc/lang/analysis.lux b/new-luxc/source/luxc/lang/analysis.lux
index d9064604a..8cfc9b108 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -4,7 +4,6 @@
(.. ["lp" pattern]))
(type: #export #rec Analysis
- #Unit
(#Bool Bool)
(#Nat Nat)
(#Int Int)
@@ -12,7 +11,7 @@
(#Real Real)
(#Char Char)
(#Text Text)
- (#Variant Nat Bool Analysis)
+ (#Variant Nat Nat Analysis)
(#Tuple (List Analysis))
(#Case Analysis (List [lp;Pattern Analysis]))
(#Function Scope Analysis)
diff --git a/new-luxc/source/luxc/lang/pattern.lux b/new-luxc/source/luxc/lang/pattern.lux
index c422ea419..0b51e6284 100644
--- a/new-luxc/source/luxc/lang/pattern.lux
+++ b/new-luxc/source/luxc/lang/pattern.lux
@@ -3,7 +3,6 @@
(type: #export #rec Pattern
(#Bind Nat)
- #Unit
(#Bool Bool)
(#Nat Nat)
(#Int Int)
@@ -12,4 +11,4 @@
(#Char Char)
(#Text Text)
(#Tuple (List Pattern))
- (#Variant [Nat Nat] Pattern))
+ (#Variant Nat Nat Pattern))
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index 3eabd1d62..1edf0f1a0 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -3,7 +3,6 @@
(.. ["lp" pattern]))
(type: #export #rec Synthesis
- #Unit
(#Bool Bool)
(#Nat Nat)
(#Int Int)
@@ -11,7 +10,7 @@
(#Real Real)
(#Char Char)
(#Text Text)
- (#Variant Nat Bool Synthesis)
+ (#Variant Nat Nat Synthesis)
(#Tuple (List Synthesis))
(#Case (List [lp;Pattern Synthesis]))
(#Function Scope Synthesis)