aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/common.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-05-16 00:11:49 -0400
committerEduardo Julian2018-05-16 00:11:49 -0400
commit8ba6ac8952e3457b1a09e30ac5312168d48006d1 (patch)
treef4ed8a04f95bd95165add394541ef81eadbfd839 /new-luxc/source/luxc/lang/analysis/common.lux
parent4242e4d3b18eb532ae18e8b38e85ad1ee1988e02 (diff)
- Migrated structure analysis to stdlib.
- Added an easy way to report information in exceptions.
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))))