aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/common.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser/common.lux')
-rw-r--r--new-luxc/source/luxc/analyser/common.lux41
1 files changed, 0 insertions, 41 deletions
diff --git a/new-luxc/source/luxc/analyser/common.lux b/new-luxc/source/luxc/analyser/common.lux
deleted file mode 100644
index 4cbf5aedf..000000000
--- a/new-luxc/source/luxc/analyser/common.lux
+++ /dev/null
@@ -1,41 +0,0 @@
-(;module:
- lux
- (lux (control monad
- pipe)
- (data text/format
- [product])
- [meta #+ Monad<Meta>]
- (meta [type]
- (type ["tc" check])))
- (luxc ["&" base]
- (lang analysis)))
-
-(def: #export (with-unknown-type action)
- (All [a] (-> (Meta Analysis) (Meta [Type Analysis])))
- (do Monad<Meta>
- [[var-id var-type] (&;with-type-env
- tc;create)
- analysis (&;with-expected-type var-type
- action)
- analysis-type (&;with-type-env
- (tc;clean var-id var-type))
- _ (&;with-type-env
- (tc;delete var-id))]
- (wrap [analysis-type analysis])))
-
-(def: #export (with-var body)
- (All [a] (-> (-> [Nat Type] (Meta a)) (Meta a)))
- (do Monad<Meta>
- [[id var] (&;with-type-env
- tc;create)
- output (body [id var])
- _ (&;with-type-env
- (tc;delete id))]
- (wrap output)))
-
-(def: #export (variant-out-of-bounds-error type size tag)
- (All [a] (-> Type Nat Nat (Meta a)))
- (&;fail (format "Trying to create variant with tag beyond type's limitations." "\n"
- " Tag: " (%i (nat-to-int tag)) "\n"
- "Size: " (%i (nat-to-int size)) "\n"
- "Type: " (%type type))))