diff options
Diffstat (limited to 'new-luxc/source/luxc/lang')
-rw-r--r-- | new-luxc/source/luxc/lang/synthesis.lux | 4 |
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)) |