aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/ffi.old.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux/ffi.old.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux
index 56336a41b..926b70045 100644
--- a/stdlib/source/documentation/lux/ffi.old.lux
+++ b/stdlib/source/documentation/lux/ffi.old.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux {"-" int char type :as}
+ [lux {"-" int char type}
["$" documentation {"+" documentation:}]
[data
["[0]" text {"+" \n}
@@ -104,7 +104,7 @@
(documentation: /.???
"Takes a (potentially null) ObjectType reference and creates a (Maybe ObjectType) for it."
- [(= (??? (: java/lang/String (null)))
+ [(= (??? (is java/lang/String (null)))
{.#None})]
[(= (??? "YOLO")
{.#Some "YOLO"})])
@@ -115,7 +115,7 @@
(!!! (??? "foo")))]
["A .#None would get translated into a (null)."
(= (null)
- (!!! (??? (: java/lang/Thread (null)))))])
+ (!!! (??? (is java/lang/Thread (null)))))])
(documentation: /.check
(format "Checks whether an object is an instance of a particular class."
@@ -204,13 +204,13 @@
(documentation: /.class_for
"Loads the class as a java.lang.Class object."
- [(: (Primitive "java.lang.Class" ["java.lang.Object"])
- (class_for java/lang/String))])
+ [(is (Primitive "java.lang.Class" ["java.lang.Object"])
+ (class_for java/lang/String))])
(documentation: /.type
""
- [(: .Type
- (type java/lang/String))])
+ [(is .Type
+ (type java/lang/String))])
(.def: .public documentation
(.List $.Module)