aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/common.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis/common.lux')
-rw-r--r--new-luxc/source/luxc/lang/analysis/common.lux21
1 files changed, 0 insertions, 21 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux
deleted file mode 100644
index 072616cfa..000000000
--- a/new-luxc/source/luxc/lang/analysis/common.lux
+++ /dev/null
@@ -1,21 +0,0 @@
-(.module:
- lux
- (lux (control monad
- ["ex" exception #+ exception:])
- (data text/format
- [product])
- [macro]
- (lang [type]
- (type ["tc" check])))
- (luxc ["&" lang]
- (lang analysis)))
-
-(exception: #export (Variant-Tag-Out-Of-Bounds {message Text})
- message)
-
-(def: #export (variant-out-of-bounds-error type size tag)
- (All [a] (-> Type Nat Nat (Meta a)))
- (&.throw Variant-Tag-Out-Of-Bounds
- (format " Tag: " (%n tag) "\n"
- "Variant Size: " (%n size) "\n"
- "Variant Type: " (%type type))))