diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/function.lux | 18 | ||||
-rw-r--r-- | stdlib/source/test/lux/control/function/contract.lux | 10 | ||||
-rw-r--r-- | stdlib/source/test/lux/control/function/memo.lux | 24 | ||||
-rw-r--r-- | stdlib/source/test/lux/control/function/mixin.lux | 12 | ||||
-rw-r--r-- | stdlib/source/test/lux/control/function/mutual.lux | 6 |
5 files changed, 35 insertions, 35 deletions
diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index ab003daf6..04a30d87b 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -6,20 +6,20 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}] [\\specification - ["$." monoid]]] + ["$[0]" monoid]]] [data - ["." text ("#!." equivalence)]] + ["[0]" text ("[1]![0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]] - ["." / "_" - ["#." contract] - ["#." memo] - ["#." mixin] - ["#." mutual]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" contract] + ["[1][0]" memo] + ["[1][0]" mixin] + ["[1][0]" mutual]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index c73abbcb1..2ea5d8e3e 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." text]] + ["[0]" text]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index 71d9de075..f975f5b97 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." state {"+" [State]} ("#\." monad)]] + ["[0]" io {"+" [IO]}] + ["[0]" state {"+" [State]} ("[1]\[0]" monad)]] [data - ["." product] + ["[0]" product] [collection - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." functor mix)]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random] + ["[0]" random] [number ["n" nat] - ["." i64]]] + ["[0]" i64]]] [time - ["." instant] - ["." duration {"+" [Duration]}]]]] + ["[0]" instant] + ["[0]" duration {"+" [Duration]}]]]] [\\library - ["." / - ["/#" // "_" - ["#" mixin]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" mixin]]]]) (def: (fibonacci recur input) (/.Memo Nat Nat) diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index ec52f3d55..e56ccb3a6 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -7,19 +7,19 @@ [predicate {"+" [Predicate]}] [monad {"+" [do]}] [\\specification - ["$." monoid]]] + ["$[0]" monoid]]] [control - ["." state {"+" [State]}]] + ["[0]" state {"+" [State]}]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." functor mix)]]] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 549cb46b9..6fe925cd2 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [text ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: test_let Test |