From 76d209d7b33f713259bd9ddb453d571f814005c9 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 20 May 2017 15:39:29 -0400 Subject: - Some refactoring. --- new-luxc/source/luxc/lang/analysis.lux | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'new-luxc/source/luxc/lang/analysis.lux') diff --git a/new-luxc/source/luxc/lang/analysis.lux b/new-luxc/source/luxc/lang/analysis.lux index d9064604a..8cfc9b108 100644 --- a/new-luxc/source/luxc/lang/analysis.lux +++ b/new-luxc/source/luxc/lang/analysis.lux @@ -4,7 +4,6 @@ (.. ["lp" pattern])) (type: #export #rec Analysis - #Unit (#Bool Bool) (#Nat Nat) (#Int Int) @@ -12,7 +11,7 @@ (#Real Real) (#Char Char) (#Text Text) - (#Variant Nat Bool Analysis) + (#Variant Nat Nat Analysis) (#Tuple (List Analysis)) (#Case Analysis (List [lp;Pattern Analysis])) (#Function Scope Analysis) -- cgit v1.2.3