diff options
Diffstat (limited to 'stdlib/source/test/lux/control/function')
-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 |
4 files changed, 26 insertions, 26 deletions
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 |