diff options
Diffstat (limited to 'stdlib/source/library/lux/ffi.old.lux')
-rw-r--r-- | stdlib/source/library/lux/ffi.old.lux | 60 |
1 files changed, 30 insertions, 30 deletions
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux index 89feff739..6b8ff867d 100644 --- a/stdlib/source/library/lux/ffi.old.lux +++ b/stdlib/source/library/lux/ffi.old.lux @@ -387,21 +387,21 @@ (def: (get_const_parser class_name field_name) (-> Text Text (Parser Code)) (do <>.monad - [#let [dotted_name (format "::" field_name)] + [.let [dotted_name (format "::" field_name)] _ (<code>.this! (code.identifier ["" dotted_name]))] (in (`' ((~ (code.text (format "jvm getstatic" ":" class_name ":" field_name)))))))) (def: (get_var_parser class_name field_name) (-> Text Text (Parser Code)) (do <>.monad - [#let [dotted_name (format "::" field_name)] + [.let [dotted_name (format "::" field_name)] _ (<code>.this! (code.identifier ["" dotted_name]))] (in (`' ((~ (code.text (format "jvm getfield" ":" class_name ":" field_name))) _jvm_this))))) (def: (put_var_parser class_name field_name) (-> Text Text (Parser Code)) (do <>.monad - [#let [dotted_name (format "::" field_name)] + [.let [dotted_name (format "::" field_name)] [_ _ value] (: (Parser [Any Any Code]) (<code>.form ($_ <>.and (<code>.this! (' :=)) (<code>.this! (code.identifier ["" dotted_name])) <code>.any)))] (in (`' ((~ (code.text (format "jvm putfield" ":" class_name ":" field_name))) _jvm_this (~ value)))))) @@ -450,18 +450,18 @@ [args (: (Parser (List Code)) (<code>.form (<>.after (<code>.this! (' ::new!)) (<code>.tuple (<>.exactly (list.size arg_decls) <code>.any))))) - #let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ params)) arg_decls))]] + .let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ params)) arg_decls))]] (in (` ((~ (code.text (format "jvm new" ":" class_name ":" (text.join_with "," arg_decls')))) (~+ args)))))) (def: (static_method_parser params class_name method_name arg_decls) (-> (List Type_Parameter) Text Text (List ArgDecl) (Parser Code)) (do <>.monad - [#let [dotted_name (format "::" method_name "!")] + [.let [dotted_name (format "::" method_name "!")] args (: (Parser (List Code)) (<code>.form (<>.after (<code>.this! (code.identifier ["" dotted_name])) (<code>.tuple (<>.exactly (list.size arg_decls) <code>.any))))) - #let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ params)) arg_decls))]] + .let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ params)) arg_decls))]] (in (`' ((~ (code.text (format "jvm invokestatic" ":" class_name ":" method_name ":" (text.join_with "," arg_decls')))) (~+ args)))))) @@ -469,11 +469,11 @@ [(def: (<name> params class_name method_name arg_decls) (-> (List Type_Parameter) Text Text (List ArgDecl) (Parser Code)) (do <>.monad - [#let [dotted_name (format "::" method_name "!")] + [.let [dotted_name (format "::" method_name "!")] args (: (Parser (List Code)) (<code>.form (<>.after (<code>.this! (code.identifier ["" dotted_name])) (<code>.tuple (<>.exactly (list.size arg_decls) <code>.any))))) - #let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ params)) arg_decls))]] + .let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ params)) arg_decls))]] (in (`' ((~ (code.text (format <jvm_op> ":" class_name ":" method_name ":" (text.join_with "," arg_decls')))) (~' _jvm_this) (~+ args))))))] @@ -713,7 +713,7 @@ [pm privacy_modifier^ strict_fp? (<>.parses? (<code>.this! (' #strict))) method_vars ..type_params^ - #let [total_vars (list\compose class_vars method_vars)] + .let [total_vars (list\compose class_vars method_vars)] [_ arg_decls] (<code>.form (<>.and (<code>.this! (' new)) (..arg_decls^ total_vars))) constructor_args (..constructor_args^ total_vars) @@ -732,7 +732,7 @@ strict_fp? (<>.parses? (<code>.this! (' #strict))) final? (<>.parses? (<code>.this! (' #final))) method_vars ..type_params^ - #let [total_vars (list\compose class_vars method_vars)] + .let [total_vars (list\compose class_vars method_vars)] [name this_name arg_decls] (<code>.form ($_ <>.and <code>.local_identifier <code>.local_identifier @@ -755,7 +755,7 @@ [strict_fp? (<>.parses? (<code>.this! (' #strict))) owner_class ..class_decl^ method_vars ..type_params^ - #let [total_vars (list\compose (product.right owner_class) method_vars)] + .let [total_vars (list\compose (product.right owner_class) method_vars)] [name this_name arg_decls] (<code>.form ($_ <>.and <code>.local_identifier <code>.local_identifier @@ -779,7 +779,7 @@ strict_fp? (<>.parses? (<code>.this! (' #strict))) _ (<code>.this! (' #static)) method_vars ..type_params^ - #let [total_vars method_vars] + .let [total_vars method_vars] [name arg_decls] (<code>.form (<>.and <code>.local_identifier (..arg_decls^ total_vars))) return_type (..generic_type^ total_vars) @@ -797,7 +797,7 @@ [pm privacy_modifier^ _ (<code>.this! (' #abstract)) method_vars ..type_params^ - #let [total_vars method_vars] + .let [total_vars method_vars] [name arg_decls] (<code>.form (<>.and <code>.local_identifier (..arg_decls^ total_vars))) return_type (..generic_type^ total_vars) @@ -814,7 +814,7 @@ [pm privacy_modifier^ _ (<code>.this! (' #native)) method_vars ..type_params^ - #let [total_vars method_vars] + .let [total_vars method_vars] [name arg_decls] (<code>.form (<>.and <code>.local_identifier (..arg_decls^ total_vars))) return_type (..generic_type^ total_vars) @@ -879,7 +879,7 @@ [tvars ..type_params^ _ (<code>.this! (' new)) ?alias import_member_alias^ - #let [total_vars (list\compose owner_vars tvars)] + .let [total_vars (list\compose owner_vars tvars)] ?prim_mode (<>.maybe primitive_mode^) args (..import_member_args^ total_vars) [io? try? maybe?] import_member_return_flags^] @@ -900,7 +900,7 @@ tvars ..type_params^ name <code>.local_identifier ?alias import_member_alias^ - #let [total_vars (list\compose owner_vars tvars)] + .let [total_vars (list\compose owner_vars tvars)] ?prim_mode (<>.maybe primitive_mode^) args (..import_member_args^ total_vars) [io? try? maybe?] import_member_return_flags^ @@ -1095,7 +1095,7 @@ (let [super_replacer (parser_replacer (<code>.form (do <>.monad [_ (<code>.this! (' ::super!)) args (<code>.tuple (<>.exactly (list.size arg_decls) <code>.any)) - #let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ (list))) + .let [arg_decls' (: (List Text) (list\map (|>> product.right (simple_class$ (list))) arg_decls))]] (in (`' ((~ (code.text (format "jvm invokespecial" ":" (get@ #super_class_name super_class) @@ -1168,8 +1168,8 @@ (syntax: #export (class: {im inheritance_modifier^} {class_decl ..class_decl^} - {#let [full_class_name (product.left class_decl)]} - {#let [class_vars (product.right class_decl)]} + {.let [full_class_name (product.left class_decl)]} + {.let [class_vars (product.right class_decl)]} {super (<>.else object_super_class (..super_class_decl^ class_vars))} {interfaces (<>.else (list) @@ -1209,7 +1209,7 @@ )} (do meta.monad [current_module meta.current_module_name - #let [fully_qualified_class_name (format (safe current_module) "." full_class_name) + .let [fully_qualified_class_name (format (safe current_module) "." full_class_name) field_parsers (list\map (field_parser fully_qualified_class_name) fields) method_parsers (list\map (method_parser (product.right class_decl) fully_qualified_class_name) methods) replacer (parser_replacer (list\fold <>.either @@ -1227,7 +1227,7 @@ (syntax: #export (interface: {class_decl ..class_decl^} - {#let [class_vars (product.right class_decl)]} + {.let [class_vars (product.right class_decl)]} {supers (<>.else (list) (<code>.tuple (<>.some (..super_class_decl^ class_vars))))} {annotations ..annotations^} @@ -1394,7 +1394,7 @@ (with_gensyms [arg_name] (in [maybe? arg_name])))) import_member_args) - #let [arg_classes (: (List Text) + .let [arg_classes (: (List Text) (list\map (|>> product.right (simple_class$ (list\compose type_params import_member_tvars))) import_member_args)) arg_types (list\map (: (-> [Bit GenericType] Code) @@ -1449,7 +1449,7 @@ #.End #1 _ #0)) -(def: (type_param_to_type_arg [name _]) +(def: (lux_type_parameter [name _]) (-> Type_Parameter Code) (code.identifier ["" name])) @@ -1498,11 +1498,11 @@ full_name (safe full_name) all_params (|> (member_type_vars class_tvars member) (list.only free_type_param?) - (list\map type_param_to_type_arg))] + (list\map lux_type_parameter))] (case member (#EnumDecl enum_members) (do {! meta.monad} - [#let [enum_type (: Code + [.let [enum_type (: Code (case class_tvars #.End (` (primitive (~ (code.text full_name)))) @@ -1510,7 +1510,7 @@ _ (let [=class_tvars (|> class_tvars (list.only free_type_param?) - (list\map type_param_to_type_arg))] + (list\map lux_type_parameter))] (` (All [(~+ =class_tvars)] (primitive (~ (code.text full_name)) [(~+ =class_tvars)])))))) getter_interop (: (-> Text Code) (function (_ name) @@ -1522,7 +1522,7 @@ (#ConstructorDecl [commons _]) (do meta.monad - [#let [def_name (code.identifier ["" (..import_name import_format method_prefix (get@ #import_member_alias commons))]) + [.let [def_name (code.identifier ["" (..import_name import_format method_prefix (get@ #import_member_alias commons))]) jvm_extension (code.text (format "jvm new" ":" full_name ":" (text.join_with "," arg_classes))) jvm_interop (|> (` ((~ jvm_extension) (~+ (jvm_extension_inputs (get@ #import_member_mode commons) arg_classes arg_function_inputs)))) @@ -1535,7 +1535,7 @@ (#MethodDecl [commons method]) (with_gensyms [g!obj] (do meta.monad - [#let [def_name (code.identifier ["" (..import_name import_format method_prefix (get@ #import_member_alias commons))]) + [.let [def_name (code.identifier ["" (..import_name import_format method_prefix (get@ #import_member_alias commons))]) (^slots [#import_member_kind]) commons (^slots [#import_method_name]) method [jvm_op object_ast] (: [Text (List Code)] @@ -1567,7 +1567,7 @@ (#FieldAccessDecl fad) (do meta.monad - [#let [(^open ".") fad + [.let [(^open ".") fad base_gtype (class_type import_field_mode type_params import_field_type) classC (class_decl_type$ class) typeC (if import_field_maybe? @@ -1576,7 +1576,7 @@ tvar_asts (: (List Code) (|> class_tvars (list.only free_type_param?) - (list\map type_param_to_type_arg))) + (list\map lux_type_parameter))) getter_name (code.identifier ["" (..import_name import_format method_prefix import_field_name)]) setter_name (code.identifier ["" (..import_name import_format method_prefix (format import_field_name "!"))])] getter_interop (with_gensyms [g!obj] |