diff options
| author | Eduardo Julian | 2021-08-16 01:12:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-16 01:12:01 -0400 |
| commit | 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (patch) | |
| tree | fc2f67581dd7b1d72c20217a95e031187a375bc5 /stdlib/source/test/lux/world | |
| parent | 6fd22846f21b8b70b7867e989109d14a366c0a3e (diff) | |
Made extension-definition macros specify their bindings the same way as syntax:.
Diffstat (limited to 'stdlib/source/test/lux/world')
| -rw-r--r-- | stdlib/source/test/lux/world/input/keyboard.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/world/output/video/resolution.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index 0060dc9a4..67ce892fe 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -141,7 +141,7 @@ (let [count (list.size ..listing)] (do {! random.monad} [choice (\ ! map (n.% count) random.nat)] - (in (maybe.assume (list.item choice ..listing)))))) + (in (maybe.trusted (list.item choice ..listing)))))) (def: .public test Test diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index 543dcb3f7..b6b18505a 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -48,7 +48,7 @@ (let [count (list.size ..listing)] (do {! random.monad} [choice (\ ! map (n.% count) random.nat)] - (in (maybe.assume (list.item choice ..listing)))))) + (in (maybe.trusted (list.item choice ..listing)))))) (def: .public test Test |