aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang.lux44
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)))