From bbf78668e9ae2fb3deb78217ae97791df89ada56 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 30 May 2017 19:42:20 -0400 Subject: - Some refactoring. --- new-luxc/source/luxc/lang/pattern.lux | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 new-luxc/source/luxc/lang/pattern.lux (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 deleted file mode 100644 index 0b51e6284..000000000 --- a/new-luxc/source/luxc/lang/pattern.lux +++ /dev/null @@ -1,14 +0,0 @@ -(;module: - lux) - -(type: #export #rec Pattern - (#Bind Nat) - (#Bool Bool) - (#Nat Nat) - (#Int Int) - (#Deg Deg) - (#Real Real) - (#Char Char) - (#Text Text) - (#Tuple (List Pattern)) - (#Variant Nat Nat Pattern)) -- cgit v1.2.3