aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/macro/syntax/check.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/macro/syntax/check.lux')
-rw-r--r--stdlib/source/lux/macro/syntax/check.lux41
1 files changed, 0 insertions, 41 deletions
diff --git a/stdlib/source/lux/macro/syntax/check.lux b/stdlib/source/lux/macro/syntax/check.lux
deleted file mode 100644
index d3007b2b8..000000000
--- a/stdlib/source/lux/macro/syntax/check.lux
+++ /dev/null
@@ -1,41 +0,0 @@
-(.module:
- [lux #*
- ["." meta]
- [abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
- [control
- ["." exception (#+ exception:)]
- ["<>" parser
- ["<.>" code (#+ Parser)]]]
- [data
- ["." product]]
- [macro
- ["." code]]])
-
-(def: extension
- "lux check")
-
-(type: #export Check
- {#type Code
- #value Code})
-
-(def: #export equivalence
- (Equivalence Check)
- ($_ product.equivalence
- code.equivalence
- code.equivalence
- ))
-
-(def: #export (format (^slots [#type #value]))
- (-> Check Code)
- (` ((~ (code.text ..extension))
- (~ type)
- (~ value))))
-
-(def: #export parser
- (Parser Check)
- (<| <code>.form
- (<>.after (<code>.text! ..extension))
- (<>.and <code>.any
- <code>.any)))