aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux
diff options
context:
space:
mode:
authorEduardo Julian2017-01-02 23:48:40 -0400
committerEduardo Julian2017-01-02 23:48:40 -0400
commitcc5f798e1ab7e636d38a6f85c30c146ca7963b07 (patch)
tree1495e486416353e4418f1c83694d5f36b7f2e1aa /stdlib/source/lux.lux
parented601f3dc8ed2ba6aa8c83444d82dfb3360f5df2 (diff)
- Updated documentation for lux/cli, lux/compiler, lux/codata/*.
Diffstat (limited to 'stdlib/source/lux.lux')
-rw-r--r--stdlib/source/lux.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index ac1289395..4ff962e0f 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -3485,10 +3485,10 @@
(let [[exported? tokens'] (export-level^ tokens)
?parts (: (Maybe [AST (List AST) AST AST (List AST)])
(case tokens'
- (^ (list& [_ (#FormS (list& name args))] type [meta-rec-cursor (#;RecordS meta-rec-parts)] defs))
+ (^ (list& [_ (#FormS (list& name args))] [meta-rec-cursor (#;RecordS meta-rec-parts)] type defs))
(#Some name args type [meta-rec-cursor (#;RecordS meta-rec-parts)] defs)
- (^ (list& name type [meta-rec-cursor (#;RecordS meta-rec-parts)] defs))
+ (^ (list& name [meta-rec-cursor (#;RecordS meta-rec-parts)] type defs))
(#Some name #Nil type [meta-rec-cursor (#;RecordS meta-rec-parts)] defs)
(^ (list& [_ (#FormS (list& name args))] type defs))