diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/analysis.lux | 2 | ||||
-rw-r--r-- | new-luxc/source/luxc/lang/pattern.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/analysis.lux b/new-luxc/source/luxc/lang/analysis.lux index 71073f901..d9064604a 100644 --- a/new-luxc/source/luxc/lang/analysis.lux +++ b/new-luxc/source/luxc/lang/analysis.lux @@ -14,7 +14,7 @@ (#Text Text) (#Variant Nat Bool Analysis) (#Tuple (List Analysis)) - (#Case (List [lp;Pattern Analysis])) + (#Case Analysis (List [lp;Pattern Analysis])) (#Function Scope Analysis) (#Apply Analysis Analysis) (#Procedure Ident (List Analysis)) diff --git a/new-luxc/source/luxc/lang/pattern.lux b/new-luxc/source/luxc/lang/pattern.lux index a0077133b..c422ea419 100644 --- a/new-luxc/source/luxc/lang/pattern.lux +++ b/new-luxc/source/luxc/lang/pattern.lux @@ -2,7 +2,7 @@ lux) (type: #export #rec Pattern - (#Ref Nat) + (#Bind Nat) #Unit (#Bool Bool) (#Nat Nat) |