diff options
Diffstat (limited to 'stdlib/source/test/lux/ffi.jvm.lux')
-rw-r--r-- | stdlib/source/test/lux/ffi.jvm.lux | 66 |
1 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 5a16902a7..606bd8a23 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -2,34 +2,34 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." type ("#\." equivalence)] - ["." meta] + ["[0]" type ("[1]\[0]" equivalence)] + ["[0]" meta] [abstract [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." array {"+" [Array]}]]] - ["." macro + ["[0]" array {"+" [Array]}]]] + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]] + ["[0]" code] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["i" int ("#\." equivalence)] - ["f" frac ("#\." equivalence)]]]]] + ["i" int ("[1]\[0]" equivalence)] + ["f" frac ("[1]\[0]" equivalence)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.import: java/lang/Boolean) (/.import: java/lang/Long) @@ -39,7 +39,7 @@ (/.import: java/lang/Object) (/.import: (java/lang/Class a) - ["#::." + ["[1]::[0]" (getName [] java/lang/String)]) (template [<name> <type> <conversion> <lux> <=>] @@ -227,35 +227,35 @@ ([] actual0 [] java/lang/Long)) (/.import: test/TestInterface0 - ["#::." + ["[1]::[0]" (actual0 [] java/lang/Long)]) (/.interface: test/TestInterface1 ([] actual1 [java/lang/Boolean] java/lang/Long "throws" [java/lang/Throwable])) (/.import: test/TestInterface1 - ["#::." + ["[1]::[0]" (actual1 [java/lang/Boolean] "try" java/lang/Long)]) (/.interface: test/TestInterface2 ([a] actual2 [a] a)) (/.import: test/TestInterface2 - ["#::." + ["[1]::[0]" ([a] actual2 [a] a)]) (/.interface: (test/TestInterface3 a) ([] actual3 [] a)) (/.import: (test/TestInterface3 a) - ["#::." + ["[1]::[0]" (actual3 [] a)]) (/.interface: test/TestInterface4 ([] actual4 [long long long] long)) (/.import: test/TestInterface4 - ["#::." + ["[1]::[0]" (actual4 [long long long] long)]) (def: for_interface @@ -351,7 +351,7 @@ ::value)) (/.import: test/TestClass0 - ["#::." + ["[1]::[0]" (new [java/lang/Long])]) (/.class: "final" test/TestClass1 [test/TestInterface1] @@ -367,7 +367,7 @@ ::value))) (/.import: test/TestClass1 - ["#::." + ["[1]::[0]" (new [java/lang/Long])]) (/.class: "final" test/TestClass2 [test/TestInterface2] @@ -381,7 +381,7 @@ input)) (/.import: test/TestClass2 - ["#::." + ["[1]::[0]" (new [])]) (/.class: "final" (test/TestClass3 a) [(test/TestInterface3 a)] @@ -397,7 +397,7 @@ ::value)) (/.import: (test/TestClass3 a) - ["#::." + ["[1]::[0]" (new [a])]) (/.class: "final" test/TestClass4 [] @@ -409,7 +409,7 @@ value)) (/.import: test/TestClass4 - ["#::." + ["[1]::[0]" (new []) (actual4 [java/lang/Long] java/lang/Long)]) @@ -423,7 +423,7 @@ value)) (/.import: test/TestClass5 - ["#::." + ["[1]::[0]" ("static" actual5 [java/lang/Long] java/lang/Long)]) (/.class: "abstract" test/TestClass6 [] @@ -435,7 +435,7 @@ java/lang/Long)) (/.import: test/TestClass6 - ["#::." + ["[1]::[0]" (actual6 [java/lang/Long] java/lang/Long)]) (/.class: "final" test/TestClass7 test/TestClass6 [] @@ -449,7 +449,7 @@ input)) (/.import: test/TestClass7 - ["#::." + ["[1]::[0]" (new [])]) (/.class: "final" test/TestClass8 [test/TestInterface4] @@ -465,7 +465,7 @@ (:as Int actual_right))))) (/.import: test/TestClass8 - ["#::." + ["[1]::[0]" (new [])]) (/.class: "final" (test/TestClass9 a) [] @@ -481,7 +481,7 @@ ::value9)) (/.import: (test/TestClass9 a) - ["#::." + ["[1]::[0]" (new [a]) (set_actual9 [a] void) (get_actual9 [] a)]) @@ -597,10 +597,10 @@ (not (expands? (/.import: <class>))))) (_.cover [/.class_name_cannot_be_a_type_variable] (and (not (expands? (/.import: (java/lang/Double a) - ["#::." + ["[1]::[0]" (invalid [] (a java/lang/String))]))) (not (expands? (/.import: java/lang/Double - ["#::." + ["[1]::[0]" ([a] invalid [] (a java/lang/String))]))))) )) |