diff options
Diffstat (limited to 'stdlib/source/library/lux/ffi.lua.lux')
-rw-r--r-- | stdlib/source/library/lux/ffi.lua.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/ffi.lua.lux b/stdlib/source/library/lux/ffi.lua.lux index ab6437d36..bfe88282e 100644 --- a/stdlib/source/library/lux/ffi.lua.lux +++ b/stdlib/source/library/lux/ffi.lua.lux @@ -140,10 +140,10 @@ (-> Code [Bit Code] Code) (if nilable? (` (case (~ input) - {#.Some (~ g!temp)} + {.#Some (~ g!temp)} (~ g!temp) - #.None + {.#None} ("lua object nil"))) input)) @@ -152,8 +152,8 @@ (if nilable? (` (let [(~ g!temp) (~ output)] (if ("lua object nil?" (~ g!temp)) - #.None - {#.Some (~ g!temp)}))) + {.#None} + {.#Some (~ g!temp)}))) (` (let [(~ g!temp) (~ output)] (if (not ("lua object nil?" (~ g!temp))) (~ g!temp) @@ -217,7 +217,7 @@ (~+ (list\each (with_nil g!temp) g!inputs))))))))))) (syntax: .public (import: [import ..import]) - ... {#.doc (example "Easily import types, methods, functions and constants." + ... {.#doc (example "Easily import types, methods, functions and constants." ... (import: (os/getenv [..String] "io" "?" ..String)))} (with_identifiers [g!temp] (case import @@ -232,14 +232,14 @@ g!type (code.local_identifier class) real_class (text.replaced "/" "." class) imported (case (text.all_split_by "/" class) - {#.Item head tail} + {.#Item head tail} (list\mix (function (_ sub super) (` ("lua object get" (~ (code.text sub)) (:as (..Object .Any) (~ super))))) (` ("lua import" (~ (code.text head)))) tail) - #.End + {.#End} (` ("lua import" (~ (code.text class)))))] (in (list& (` (type: (~ g!type) (..Object (primitive (~ (code.text real_class)))))) @@ -309,7 +309,7 @@ ))) (template: .public (closure <inputs> <output>) - ... {#.doc (example "Allows defining closures/anonymous-functions in the form that Lua expects." + ... {.#doc (example "Allows defining closures/anonymous-functions in the form that Lua expects." ... "This is useful for adapting Lux functions for usage by Lua code." ... (: ..Function ... (closure [left right] |