aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/control/function
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/control/function')
-rw-r--r--stdlib/source/test/lux/control/function/contract.lux10
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux24
-rw-r--r--stdlib/source/test/lux/control/function/mixin.lux12
-rw-r--r--stdlib/source/test/lux/control/function/mutual.lux6
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