diff options
| author | Eduardo Julian | 2020-05-17 20:10:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-05-17 20:10:42 -0400 |
| commit | d97f92842981501a8e0d95a1b4f1ba3d9e72f0d5 (patch) | |
| tree | 3aa01a37da19e1e63bbf8cd204ae6743166e386a /stdlib/source/spec | |
| parent | 9219da9a9bf29b3a2f7f10d4865b939ded28e003 (diff) | |
Local binding names for (co|indexed-)?monads are now explicitly set.
Diffstat (limited to 'stdlib/source/spec')
5 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux index 414b468e2..b4fa47b99 100644 --- a/stdlib/source/spec/compositor/generation/case.lux +++ b/stdlib/source/spec/compositor/generation/case.lux @@ -64,7 +64,7 @@ [r.i64 synthesis.i64 synthesis.path/i64] [r.frac synthesis.f64 synthesis.path/f64] [(r.unicode 5) synthesis.text synthesis.path/text])) - (do r.monad + (do {@ r.monad} [size ..size idx (|> r.nat (:: @ map (n.% size))) [subS subP] case @@ -79,7 +79,7 @@ (synthesis.member/left idx)) subP)]] (wrap [caseS caseP])) - (do r.monad + (do {@ r.monad} [size ..size idx (|> r.nat (:: @ map (n.% size))) [subS subP] case diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/spec/compositor/generation/common.lux index c2289571a..5868191c4 100644 --- a/stdlib/source/spec/compositor/generation/common.lux +++ b/stdlib/source/spec/compositor/generation/common.lux @@ -174,7 +174,7 @@ (def: (text run) (-> Runner Test) - (do r.monad + (do {@ r.monad} [sample-size (|> r.nat (:: @ map (|>> (n.% 10) (n.max 1)))) sample-lower (r.ascii/lower-alpha sample-size) sample-upper (r.ascii/upper-alpha sample-size) diff --git a/stdlib/source/spec/compositor/generation/function.lux b/stdlib/source/spec/compositor/generation/function.lux index 9af307287..3de0301b8 100644 --- a/stdlib/source/spec/compositor/generation/function.lux +++ b/stdlib/source/spec/compositor/generation/function.lux @@ -46,7 +46,7 @@ (def: #export (spec run) (-> Runner Test) - (do r.monad + (do {@ r.monad} [[arity local functionS] ..function partial-arity (|> r.nat (:: @ map (|>> (n.% arity) (n.max 1)))) inputs (r.list arity r.safe-frac) diff --git a/stdlib/source/spec/compositor/generation/reference.lux b/stdlib/source/spec/compositor/generation/reference.lux index 5da59d0b4..8c53db6c6 100644 --- a/stdlib/source/spec/compositor/generation/reference.lux +++ b/stdlib/source/spec/compositor/generation/reference.lux @@ -39,7 +39,7 @@ (def: (variable run) (-> Runner Test) - (do r.monad + (do {@ r.monad} [register (|> r.nat (:: @ map (n.% 100))) expected r.safe-frac] (_.test "Local variables." diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux index 0697e5338..e16702d3e 100644 --- a/stdlib/source/spec/compositor/generation/structure.lux +++ b/stdlib/source/spec/compositor/generation/structure.lux @@ -30,7 +30,7 @@ (def: (variant run) (-> Runner Test) - (do r.monad + (do {@ r.monad} [num-tags (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2)))) tag-in (|> r.nat (:: @ map (n.% num-tags))) #let [last?-in (|> num-tags dec (n.= tag-in))] @@ -65,7 +65,7 @@ (def: (tuple run) (-> Runner Test) - (do r.monad + (do {@ r.monad} [size (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2)))) tuple-in (r.list size r.i64)] (_.test (%.name (name-of synthesis.tuple)) |