diff options
| author | Eduardo Julian | 2021-06-12 01:32:40 -0400 | 
|---|---|---|
| committer | Eduardo Julian | 2021-06-12 01:32:40 -0400 | 
| commit | af3e6e2cb011dc2ad9204440990731a2f272716d (patch) | |
| tree | 3521c74b05fc5b3ddddbe901d32ace87dbb6c018 /lux-jvm/source/luxc/lang/host/jvm/def.lux | |
| parent | 8f575da5095e3b259d4eb6b6f13d3e37ef1d38e4 (diff) | |
Constraining the year of the snapshot time in Aedifex.
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm/def.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm/def.lux | 22 | 
1 files changed, 11 insertions, 11 deletions
| diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux index 212d9d854..b2012006a 100644 --- a/lux-jvm/source/luxc/lang/host/jvm/def.lux +++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux @@ -1,6 +1,6 @@  (.module:    [lux (#- Type) -   ["." host (#+ import: do_to)] +   ["." ffi (#+ import: do_to)]     [control      ["." function]]     [data @@ -80,9 +80,9 @@  (def: (string_array values)    (-> (List Text) (Array Text)) -  (let [output (host.array java/lang/String (list.size values))] +  (let [output (ffi.array java/lang/String (list.size values))]      (exec (list@map (function (_ [idx value]) -                      (host.array_write idx value output)) +                      (ffi.array_write idx value output))                      (list.enumeration values))        output))) @@ -168,7 +168,7 @@    [(def: #export (<name> version visibility config name constraints super interfaces                           definitions)       (-> //.Version //.Visibility //.Class_Config Text (List Constraint) (Type Class) (List (Type Class)) //.Def -         (host.type [byte])) +         (ffi.type [byte]))       (let [writer (|> (do_to (org/objectweb/asm/ClassWriter::new class_computes)                          (org/objectweb/asm/ClassWriter::visit (version_flag version)                                                                ($_ i.+ @@ -197,7 +197,7 @@  (def: #export (interface version visibility config name constraints interfaces                           definitions)    (-> //.Version //.Visibility //.Class_Config Text (List Constraint) (List (Type Class)) //.Def -      (host.type [byte])) +      (ffi.type [byte]))    (let [writer (|> (do_to (org/objectweb/asm/ClassWriter::new class_computes)                       (org/objectweb/asm/ClassWriter::visit (version_flag version)                                                             ($_ i.+ @@ -258,7 +258,7 @@                                                                     (..binary_name name)                                                                     (..descriptor type)                                                                     (..signature type) -                                                                   (host.null) +                                                                   (ffi.null)                                                                     writer)                     (org/objectweb/asm/FieldVisitor::visitEnd))]        writer))) @@ -279,13 +279,13 @@           writer)))]    [boolean_field Bit  type.boolean                           function.identity] -  [byte_field    Int  type.byte                              host.long_to_byte] -  [short_field   Int  type.short                             host.long_to_short] -  [int_field     Int  type.int                               host.long_to_int] +  [byte_field    Int  type.byte                              ffi.long_to_byte] +  [short_field   Int  type.short                             ffi.long_to_short] +  [int_field     Int  type.int                               ffi.long_to_int]    [long_field    Int  type.long                              function.identity] -  [float_field   Frac type.float                             host.double_to_float] +  [float_field   Frac type.float                             ffi.double_to_float]    [double_field  Frac type.double                            function.identity] -  [char_field    Nat  type.char                              (|>> .int host.long_to_int host.int_to_char)] +  [char_field    Nat  type.char                              (|>> .int ffi.long_to_int ffi.int_to_char)]    [string_field  Text (type.class "java.lang.String" (list)) function.identity]    ) | 
