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/test/licentia.lux | |
| parent | 9219da9a9bf29b3a2f7f10d4865b939ded28e003 (diff) | |
Local binding names for (co|indexed-)?monads are now explicitly set.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/licentia.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/licentia.lux b/stdlib/source/test/licentia.lux index 61bdbb0b2..619d9c711 100644 --- a/stdlib/source/test/licentia.lux +++ b/stdlib/source/test/licentia.lux @@ -42,7 +42,7 @@ (def: period (Random (Period Nat)) - (do r.monad + (do {@ r.monad} [start (r.filter (|>> (n.= n@top) not) r.nat) #let [wiggle-room (n.- start n@top)] @@ -104,7 +104,7 @@ (def: (variable-list max-size gen-element) (All [a] (-> Nat (Random a) (Random (List a)))) - (do r.monad + (do {@ r.monad} [amount (:: @ map (n.% (n.max 1 max-size)) r.nat)] (r.list amount gen-element))) |