diff options
| author | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
| commit | 9df5ff6abc6e95c766d1907c5a9fee00730e749a (patch) | |
| tree | 8614095c2c2a3a5cd195f9e6da53f47c88891381 /stdlib/source/test | |
| parent | 8ebc505f1be8e103039d220b2d824dd687777f24 (diff) | |
Re-named ffi.as to "is", and ffi.check to "as", to line the names up with normal type-annotation macros.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/ffi.jvm.lux | 16 | ||||
| -rw-r--r-- | stdlib/source/test/lux/ffi.old.lux | 10 |
2 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index abdc297c7..2db7c0bc3 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -165,11 +165,11 @@ bit/0 random.bit] ($_ _.and - (_.cover [/.check] - (and (case (/.check java/lang/String sample) {.#Some _} true {.#None} false) - (case (/.check java/lang/Long sample) {.#Some _} false {.#None} true) - (case (/.check java/lang/Object sample) {.#Some _} true {.#None} false) - (case (/.check java/lang/Object (/.null)) {.#Some _} false {.#None} true))) + (_.cover [/.as] + (and (case (/.as java/lang/String sample) {.#Some _} true {.#None} false) + (case (/.as java/lang/Long sample) {.#Some _} false {.#None} true) + (case (/.as java/lang/Object sample) {.#Some _} true {.#None} false) + (case (/.as java/lang/Object (/.null)) {.#Some _} false {.#None} true))) (_.cover [/.synchronized] (/.synchronized sample #1)) (_.cover [/.class_for] @@ -237,10 +237,10 @@ (text#= it)))) (_.cover [/.cannot_cast_to_non_object] (text.contains? (the exception.#label /.cannot_cast_to_non_object) - (macro_error (/.as boolean (is /.Boolean boolean))))) - (_.cover [/.as] + (macro_error (/.is boolean (is /.Boolean boolean))))) + (_.cover [/.is] (|> string - (/.as java/lang/Object) + (/.is java/lang/Object) (same? (as java/lang/Object string)))) (_.cover [/.type] (and (and (type#= /.Boolean (/.type java/lang/Boolean)) diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index f452cf5a1..2b50f700c 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -201,11 +201,11 @@ counter random.int increase random.int] ($_ _.and - (_.cover [/.check] - (and (case (/.check java/lang/String sample) {.#Some _} true {.#None} false) - (case (/.check java/lang/Long sample) {.#Some _} false {.#None} true) - (case (/.check java/lang/Object sample) {.#Some _} true {.#None} false) - (case (/.check java/lang/Object (/.null)) {.#Some _} false {.#None} true))) + (_.cover [/.as] + (and (case (/.as java/lang/String sample) {.#Some _} true {.#None} false) + (case (/.as java/lang/Long sample) {.#Some _} false {.#None} true) + (case (/.as java/lang/Object sample) {.#Some _} true {.#None} false) + (case (/.as java/lang/Object (/.null)) {.#Some _} false {.#None} true))) (_.cover [/.synchronized] (/.synchronized sample #1)) (_.cover [/.class_for /.import:] |