aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang
diff options
context:
space:
mode:
authorEduardo Julian2017-05-17 20:23:02 -0400
committerEduardo Julian2017-05-17 20:23:02 -0400
commit8bd1d1b3a4750b26f1540717839c1aa196f2a520 (patch)
treecc9d595998c3bf4d15e434480f5505fd491e39b0 /new-luxc/source/luxc/lang
parent824482b2e8b13e42a524a5e4945ea3e172395c9e (diff)
- Renamed "Error" to "Result".
Diffstat (limited to 'new-luxc/source/luxc/lang')
-rw-r--r--new-luxc/source/luxc/lang/synthesis.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index 00cccfbe6..3eabd1d62 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -13,9 +13,9 @@
(#Text Text)
(#Variant Nat Bool Synthesis)
(#Tuple (List Synthesis))
- (#Case (lp;Pattern Synthesis))
+ (#Case (List [lp;Pattern Synthesis]))
(#Function Scope Synthesis)
(#Call Synthesis (List Synthesis))
- (#Procedure Text (List Synthesis))
+ (#Procedure Ident (List Synthesis))
(#Relative Ref)
(#Absolute Ident))