- Added tests for some kinds of analysis.

- WIP: Porting more code.

1 files changed, 0 insertions, 44 deletions

diff --git a/new-luxc/source/luxc/lang.lux b/new-luxc/source/luxc/lang.lux
deleted file mode 100644
index 787895466..000000000
--- a/new-luxc/source/luxc/lang.lux
+++ /dev/null
@@ -1,44 +0,0 @@
-(;module:
-  lux)
-
-(type: #export (Pattern a) Void)
-
-(type: #export Primitive
-  #Unit
-  (#Bool Bool)
-  (#Nat Nat)
-  (#Int Int)
-  (#Deg Deg)
-  (#Real Real)
-  (#Char Char)
-  (#Text Text))
-
-(type: #export Reference
-  (#Relative Ref)
-  (#Absolute Ident))
-
-(type: #export (Structure a)
-  (#Variant Nat Bool a)
-  (#Tuple (List a))
-  (#Case (Pattern a))
-  (#Function Scope a)
-  (#Call a (List a))
-  (#Procedure Text (List a)))
-
-(type: #export (Analysis' Analysis)
-  (#Primitive Primitive)
-  (#Structure (Structure Analysis))
-  (#Reference Reference))
-
-(type: #export #rec Analysis
-  (Meta [Type Cursor]
-        (Analysis' Analysis)))
-
-(type: #export Synthesis
-  Unit)
-
-(type: #export Eval
-  (-> Type Code (Lux Top)))
-
-(type: #export Analyser
-  (-> Eval Code (Lux Analysis)))