diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/macro/syntax/common/check.lux | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/stdlib/source/lux/macro/syntax/common/check.lux b/stdlib/source/lux/macro/syntax/common/check.lux index dcb8f6c26..081e394b0 100644 --- a/stdlib/source/lux/macro/syntax/common/check.lux +++ b/stdlib/source/lux/macro/syntax/common/check.lux @@ -2,11 +2,14 @@ [lux #* ["." meta] [abstract + [equivalence (#+ Equivalence)] [monad (#+ do)]] [control ["." exception (#+ exception:)] ["<>" parser ["<.>" code (#+ Parser)]]] + [data + ["." product]] [macro ["." code]]]) @@ -17,6 +20,13 @@ {#type Code #value Code}) +(def: #export equivalence + (Equivalence Check) + ($_ product.equivalence + code.equivalence + code.equivalence + )) + (def: #export (write (^slots [#type #value])) (-> Check Code) (` ((~ (code.text ..extension)) |