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/pattern.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'new-luxc/source/luxc/lang/pattern.lux') 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