From b81f241bd90092f52a47f64f4dc8297cc4f82f56 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 19 May 2017 23:54:16 -0400 Subject: - WIP: Added pattern-matching (case) analysis. --- new-luxc/source/luxc/lang/analysis.lux | 2 +- new-luxc/source/luxc/lang/pattern.lux | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'new-luxc/source/luxc/lang') 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) -- cgit v1.2.3