diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/macro/syntax.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/macro/syntax/check.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/macro/syntax/declaration.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/macro/syntax/definition.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/macro/syntax/export.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/macro/syntax/input.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/macro/syntax/type/variable.lux | 6 |
7 files changed, 20 insertions, 20 deletions
diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux index 5ba0701b9..68c333664 100644 --- a/stdlib/source/test/lux/macro/syntax.lux +++ b/stdlib/source/test/lux/macro/syntax.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control [parser ["<[0]>" code]]] diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux index baf86ac5b..8c967b516 100644 --- a/stdlib/source/test/lux/macro/syntax/check.lux +++ b/stdlib/source/test/lux/macro/syntax/check.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ ["<>" parser ["<[0]>" code]]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [macro ["[0]" code ("[1]#[0]" equivalence)]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index 9102faed6..d72a0cbbe 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index 4b1057c64..5d287a442 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [meta ["[0]" location]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux index 91707f1ab..f1dc6df01 100644 --- a/stdlib/source/test/lux/macro/syntax/export.lux +++ b/stdlib/source/test/lux/macro/syntax/export.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe] ["[0]" try ("[1]#[0]" functor)] @@ -12,7 +12,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux index 26e721986..09f344b11 100644 --- a/stdlib/source/test/lux/macro/syntax/input.lux +++ b/stdlib/source/test/lux/macro/syntax/input.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index 329ed3557..94daf4218 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]]) |