aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/primitive.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser/primitive.lux')
-rw-r--r--new-luxc/source/luxc/analyser/primitive.lux34
1 files changed, 0 insertions, 34 deletions
diff --git a/new-luxc/source/luxc/analyser/primitive.lux b/new-luxc/source/luxc/analyser/primitive.lux
deleted file mode 100644
index c7f7243fd..000000000
--- a/new-luxc/source/luxc/analyser/primitive.lux
+++ /dev/null
@@ -1,34 +0,0 @@
-(;module:
- lux
- (lux (control monad)
- [meta]
- (meta [code]
- (type ["tc" check])))
- (luxc ["&" base]
- (lang ["la" analysis #+ Analysis])))
-
-## [Analysers]
-(do-template [<name> <type> <tag>]
- [(def: #export (<name> value)
- (-> <type> (Meta Analysis))
- (do meta;Monad<Meta>
- [expected meta;expected-type
- _ (&;with-type-env
- (tc;check expected <type>))]
- (wrap (<tag> value))))]
-
- [analyse-bool Bool code;bool]
- [analyse-nat Nat code;nat]
- [analyse-int Int code;int]
- [analyse-deg Deg code;deg]
- [analyse-frac Frac code;frac]
- [analyse-text Text code;text]
- )
-
-(def: #export analyse-unit
- (Meta Analysis)
- (do meta;Monad<Meta>
- [expected meta;expected-type
- _ (&;with-type-env
- (tc;check expected Unit))]
- (wrap (` []))))