aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/macro/syntax/definition.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/macro/syntax/definition.lux')
-rw-r--r--stdlib/source/library/lux/macro/syntax/definition.lux11
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux
index 601f44283..ee7238603 100644
--- a/stdlib/source/library/lux/macro/syntax/definition.lux
+++ b/stdlib/source/library/lux/macro/syntax/definition.lux
@@ -26,11 +26,12 @@
["#." check (#+ Check)]])
(type: .public Definition
- {#name Text
- #value (Either Check
- Code)
- #anns Annotations
- #export? Bit})
+ (Record
+ {#name Text
+ #value (Either Check
+ Code)
+ #anns Annotations
+ #export? Bit}))
(def: .public equivalence
(Equivalence Definition)