aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/control/function
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/control/function.lux18
-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
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