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 /lux-jvm/test | |
| parent | 6fd22846f21b8b70b7867e989109d14a366c0a3e (diff) | |
Made extension-definition macros specify their bindings the same way as syntax:.
Diffstat (limited to 'lux-jvm/test')
| -rw-r--r-- | lux-jvm/test/test/luxc/lang/translation/jvm.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-jvm/test/test/luxc/lang/translation/jvm.lux b/lux-jvm/test/test/luxc/lang/translation/jvm.lux index b4781b637..99af8d8c9 100644 --- a/lux-jvm/test/test/luxc/lang/translation/jvm.lux +++ b/lux-jvm/test/test/luxc/lang/translation/jvm.lux @@ -422,8 +422,8 @@ class-idx (|> r.nat (:: @ map (n/% num-classes))) instance-idx (|> r.nat (:: @ map (n/% num-instances))) exception-message (r.text +5) - #let [class (maybe.assume (list.nth class-idx classes)) - [instance-class instance-gen] (maybe.assume (list.nth instance-idx instances)) + #let [class (maybe.trusted (list.nth class-idx classes)) + [instance-class instance-gen] (maybe.trusted (list.nth instance-idx instances)) exception-message$ (` ["java.lang.String" (~ (code.text exception-message))])] sample r.int monitor r.int |