diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/directive/jvm.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/directive/jvm.lux | 126 |
1 files changed, 63 insertions, 63 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux index 36a498cda..272faea29 100644 --- a/lux-jvm/source/luxc/lang/directive/jvm.lux +++ b/lux-jvm/source/luxc/lang/directive/jvm.lux @@ -18,9 +18,9 @@ ["%" format {"+" [format]}]] [collection [array {"+" [Array]}] - ["[0]" list ("[1]\[0]" mix functor monoid)] + ["[0]" list ("[1]#[0]" mix functor monoid)] ["[0]" dictionary {"+" [Dictionary]}] - ["[0]" row {"+" [Row]} ("[1]\[0]" functor mix)]]] + ["[0]" row {"+" [Row]} ("[1]#[0]" functor mix)]]] [math [number ["[0]" nat]]] @@ -442,7 +442,7 @@ {/.#TABLESWITCH min max default labels} (let [[mapping default] (..relabel [mapping default]) - [mapping labels] (list\mix (function (_ input [mapping output]) + [mapping labels] (list#mix (function (_ input [mapping output]) (let [[mapping input] (..relabel [mapping input])] [mapping (list& input output)])) [mapping (list)] labels)] @@ -450,7 +450,7 @@ {/.#LOOKUPSWITCH default keys+labels} (let [[mapping default] (..relabel [mapping default]) - [mapping keys+labels] (list\mix (function (_ [expected input] [mapping output]) + [mapping keys+labels] (list#mix (function (_ [expected input] [mapping output]) (let [[mapping input] (..relabel [mapping input])] [mapping (list& [expected input] output)])) [mapping (list)] keys+labels)] @@ -515,7 +515,7 @@ (def: (relabel_bytecode [mapping bytecode]) (Re_labeler (/.Bytecode Inst)) - (row\mix (function (_ input [mapping output]) + (row#mix (function (_ input [mapping output]) (let [[mapping input'] (..relabel_instruction [mapping input])] [mapping (row.suffix input' output)])) [mapping (row.row)] @@ -530,7 +530,7 @@ (|>> [..fresh] ..relabel_bytecode product.right - (row\each ..instruction) + (row#each ..instruction) row.list _.fuse)) @@ -553,7 +553,7 @@ (def: (true_handler extender pseudo) (-> jvm.Extender Any jvm.Handler) (function (_ extension_name phase archive inputs) - (\ phase.monad each + (# phase.monad each (|>> (:as (/.Bytecode Inst /.Label)) ..bytecode) ((extender pseudo) extension_name phase archive inputs)))) @@ -847,20 +847,20 @@ _.NULL {.#Right primitiveT} - (cond (or (\ /type.equivalence = /type.boolean primitiveT) - (\ /type.equivalence = /type.byte primitiveT) - (\ /type.equivalence = /type.short primitiveT) - (\ /type.equivalence = /type.int primitiveT) - (\ /type.equivalence = /type.char primitiveT)) + (cond (or (# /type.equivalence = /type.boolean primitiveT) + (# /type.equivalence = /type.byte primitiveT) + (# /type.equivalence = /type.short primitiveT) + (# /type.equivalence = /type.int primitiveT) + (# /type.equivalence = /type.char primitiveT)) _.ICONST_0 - (\ /type.equivalence = /type.long primitiveT) + (# /type.equivalence = /type.long primitiveT) _.LCONST_0 - (\ /type.equivalence = /type.float primitiveT) + (# /type.equivalence = /type.float primitiveT) _.FCONST_0 - ... (\ /type.equivalence = /type.double primitiveT) + ... (# /type.equivalence = /type.double primitiveT) _.DCONST_0))) (def: (header_return returnT) @@ -876,23 +876,23 @@ _.ARETURN) {.#Right primitiveT} - (cond (or (\ /type.equivalence = /type.boolean primitiveT) - (\ /type.equivalence = /type.byte primitiveT) - (\ /type.equivalence = /type.short primitiveT) - (\ /type.equivalence = /type.int primitiveT) - (\ /type.equivalence = /type.char primitiveT)) + (cond (or (# /type.equivalence = /type.boolean primitiveT) + (# /type.equivalence = /type.byte primitiveT) + (# /type.equivalence = /type.short primitiveT) + (# /type.equivalence = /type.int primitiveT) + (# /type.equivalence = /type.char primitiveT)) (|>> (header_value primitiveT) _.IRETURN) - (\ /type.equivalence = /type.long primitiveT) + (# /type.equivalence = /type.long primitiveT) (|>> (header_value primitiveT) _.LRETURN) - (\ /type.equivalence = /type.float primitiveT) + (# /type.equivalence = /type.float primitiveT) (|>> (header_value primitiveT) _.FRETURN) - ... (\ /type.equivalence = /type.double primitiveT) + ... (# /type.equivalence = /type.double primitiveT) (|>> (header_value primitiveT) _.DRETURN))))) @@ -906,7 +906,7 @@ (def.abstract_method (..visibility privacy) jvm.noneM name - (/type.method [variables (list\each product.right arguments) return exceptions])))) + (/type.method [variables (list#each product.right arguments) return exceptions])))) (def: (method_header super_class method) (-> (Type Class) (Method Code) jvm.Def) @@ -916,10 +916,10 @@ body]} (let [[super_name super_vars] (parser.read_class super_class) init_constructor_arguments (|> constructor_arguments - (list\each (|>> product.left ..header_value)) + (list#each (|>> product.left ..header_value)) _.fuse) super_constructorT (/type.method [(list) - (list\each product.left constructor_arguments) + (list#each product.left constructor_arguments) /type.void (list)])] (def.method (..visibility privacy) @@ -927,7 +927,7 @@ jvm.strictM jvm.noneM) ..constructor_name - (/type.method [variables (list\each product.right arguments) /type.void exceptions]) + (/type.method [variables (list#each product.right arguments) /type.void exceptions]) (|>> (_.ALOAD 0) init_constructor_arguments (_.INVOKESPECIAL super_class ..constructor_name super_constructorT) @@ -941,7 +941,7 @@ jvm.strictM jvm.noneM) name - (/type.method [variables (list\each product.right arguments) return exceptions]) + (/type.method [variables (list#each product.right arguments) return exceptions]) (..header_return return)) {#Virtual [name privacy final? strict_floating_point? annotations variables @@ -956,7 +956,7 @@ jvm.finalM jvm.noneM))) name - (/type.method [variables (list\each product.right arguments) return exceptions]) + (/type.method [variables (list#each product.right arguments) return exceptions]) (..header_return return)) {#Static [name privacy strict_floating_point? annotations variables @@ -968,7 +968,7 @@ jvm.strictM jvm.noneM))) name - (/type.method [variables (list\each product.right arguments) return exceptions]) + (/type.method [variables (list#each product.right arguments) return exceptions]) (..header_return return)) {#Abstract method} @@ -988,10 +988,10 @@ (List Field) (List (Method Code)) [External Binary]) - (let [constraints (list\each ..constraint type_variables) - field_definitions (list\each ..field_header fields) - method_definitions (list\each (..method_header super_class) methods) - definitions (def.fuse (list\composite field_definitions + (let [constraints (list#each ..constraint type_variables) + field_definitions (list#each ..field_header fields) + method_definitions (list#each (..method_header super_class) methods) + definitions (def.fuse (list#composite field_definitions method_definitions))] [class_name (case inheritance @@ -1028,14 +1028,14 @@ selfT (//A.reflection_type mapping (/type.class class_name class_tvars)) arguments' (monad.each ! (function (_ [name type]) - (\ ! each (|>> [name]) + (# ! each (|>> [name]) (//A.boxed_reflection_type mapping type))) arguments) returnT (//A.boxed_reflection_return mapping /type.void) [_scope bodyA] (|> arguments' {.#Item [self selfT]} list.reversed - (list\mix scopeA.with_local (analyse archive bodyC)) + (list#mix scopeA.with_local (analyse archive bodyC)) (typeA.with_type returnT) analysis.with_scope)] (in [privacy strict_floating_point? annotations method_tvars exceptions @@ -1058,14 +1058,14 @@ selfT (//A.reflection_type mapping (/type.class class_name class_tvars)) arguments' (monad.each ! (function (_ [name type]) - (\ ! each (|>> [name]) + (# ! each (|>> [name]) (//A.boxed_reflection_type mapping type))) arguments) returnT (//A.boxed_reflection_return mapping returnJ) [_scope bodyA] (|> arguments' {.#Item [self selfT]} list.reversed - (list\mix scopeA.with_local (analyse archive bodyC)) + (list#mix scopeA.with_local (analyse archive bodyC)) (typeA.with_type returnT) analysis.with_scope)] (in [[super_name super_tvars] method_name strict_floating_point? annotations @@ -1086,14 +1086,14 @@ selfT (//A.reflection_type mapping (/type.class class_name class_tvars)) arguments' (monad.each ! (function (_ [name type]) - (\ ! each (|>> [name]) + (# ! each (|>> [name]) (//A.boxed_reflection_type mapping type))) arguments) returnT (//A.boxed_reflection_return mapping returnJ) [_scope bodyA] (|> arguments' {.#Item [self selfT]} list.reversed - (list\mix scopeA.with_local (analyse archive bodyC)) + (list#mix scopeA.with_local (analyse archive bodyC)) (typeA.with_type returnT) analysis.with_scope)] (in [name privacy final? strict_floating_point? annotations method_tvars @@ -1112,13 +1112,13 @@ [mapping (//A.with_fresh_type_vars method_tvars luxT.fresh) arguments' (monad.each ! (function (_ [name type]) - (\ ! each (|>> [name]) + (# ! each (|>> [name]) (//A.boxed_reflection_type mapping type))) arguments) returnT (//A.boxed_reflection_return mapping returnJ) [_scope bodyA] (|> arguments' list.reversed - (list\mix scopeA.with_local (analyse archive bodyC)) + (list#mix scopeA.with_local (analyse archive bodyC)) (typeA.with_type returnT) analysis.with_scope)] (in [name privacy strict_floating_point? annotations method_tvars @@ -1129,23 +1129,23 @@ (-> Archive Declaration (List (Type Class)) (Method Code) (Operation (Method Analysis))) (case method {#Constructor method} - (\ phase.monad each (|>> {#Constructor}) + (# phase.monad each (|>> {#Constructor}) (constructor_method_analysis archive declaration method)) {#Override method} - (\ phase.monad each (|>> {#Override}) + (# phase.monad each (|>> {#Override}) (override_method_analysis archive declaration supers method)) {#Virtual method} - (\ phase.monad each (|>> {#Virtual}) + (# phase.monad each (|>> {#Virtual}) (virtual_method_analysis archive declaration method)) {#Static method} - (\ phase.monad each (|>> {#Static}) + (# phase.monad each (|>> {#Static}) (static_method_analysis archive method)) {#Abstract method} - (\ phase.monad in {#Abstract method}) + (# phase.monad in {#Abstract method}) )) (template: (method_body <bodyS>) @@ -1165,7 +1165,7 @@ (directive.lifted_synthesis (do ! [constructor_argumentsS (monad.each ! (function (_ [typeJ termA]) - (\ ! each (|>> [typeJ]) + (# ! each (|>> [typeJ]) (synthesise archive termA))) constructor_argumentsA) bodyS (synthesise archive {analysis.#Function (list) (//A.hide_method_body (list.size arguments) bodyA)})] @@ -1239,23 +1239,23 @@ (-> Archive (Method Analysis) (Operation (Method Synthesis))) (case method {#Constructor method} - (\ phase.monad each (|>> {#Constructor}) + (# phase.monad each (|>> {#Constructor}) (constructor_method_synthesis archive method)) {#Override method} - (\ phase.monad each (|>> {#Override}) + (# phase.monad each (|>> {#Override}) (override_method_synthesis archive method)) {#Virtual method} - (\ phase.monad each (|>> {#Virtual}) + (# phase.monad each (|>> {#Virtual}) (virtual_method_synthesis archive method)) {#Static method} - (\ phase.monad each (|>> {#Static}) + (# phase.monad each (|>> {#Static}) (static_method_synthesis archive method)) {#Abstract method} - (\ phase.monad in {#Abstract method}) + (# phase.monad in {#Abstract method}) )) (def: (constructor_method_generation archive super_class method) @@ -1273,10 +1273,10 @@ .let [[super_name super_vars] (parser.read_class super_class) super_constructor_argument_values (_.fuse constructor_argumentsG) super_constructorT (/type.method [(list) - (list\each product.left constructor_argumentsS) + (list#each product.left constructor_argumentsS) /type.void (list)]) - argumentsT (list\each product.right arguments) + argumentsT (list#each product.right arguments) initialize_object! (: Inst (|>> (_.ALOAD 0) super_constructor_argument_values @@ -1302,7 +1302,7 @@ (directive.lifted_generation (do ! [bodyG (generate archive (//G.hidden_method_body (list.size arguments) bodyS)) - .let [argumentsT (list\each product.right arguments)]] + .let [argumentsT (list#each product.right arguments)]] (in (def.method {jvm.#Public} (if strict_floating_point? jvm.strictM @@ -1323,7 +1323,7 @@ (directive.lifted_generation (do ! [bodyG (generate archive (//G.hidden_method_body (list.size arguments) bodyS)) - .let [argumentsT (list\each product.right arguments)]] + .let [argumentsT (list#each product.right arguments)]] (in (def.method (..visibility privacy) (|> jvm.noneM (jvm.++M (if strict_floating_point? @@ -1348,7 +1348,7 @@ (directive.lifted_generation (do ! [bodyG (generate archive (//G.hidden_method_body (list.size arguments) bodyS)) - .let [argumentsT (list\each product.right arguments)]] + .let [argumentsT (list#each product.right arguments)]] (in (def.method (..visibility privacy) (|> jvm.staticM (jvm.++M (if strict_floating_point? @@ -1376,7 +1376,7 @@ (..static_method_generation archive method) {#Abstract method} - (\ phase.monad in (..abstract_method_generation method)) + (# phase.monad in (..abstract_method_generation method)) )) (import: java/lang/ClassLoader) @@ -1436,10 +1436,10 @@ methodsG (monad.each ! (method_generation archive super_class) methodsS) .let [directive [class_name (def.class {jvm.#V1_6} {jvm.#Public} jvm.noneC class_name - (list\each ..constraint type_variables) + (list#each ..constraint type_variables) super_class super_interfaces - (def.fuse (list\composite (list\each ..field_header fields) + (def.fuse (list#composite (list#each ..field_header fields) methodsG)))]]] (directive.lifted_generation (do ! @@ -1461,10 +1461,10 @@ (do [! phase.monad] [.let [directive [class_name (def.interface {jvm.#V1_6} {jvm.#Public} jvm.noneC class_name - (list\each ..constraint type_variables) + (list#each ..constraint type_variables) supers (|> method_declarations - (list\each (function (_ (^slots [#name #annotations #type_variables #exceptions #arguments #return])) + (list#each (function (_ (^slots [#name #annotations #type_variables #exceptions #arguments #return])) (def.abstract_method {jvm.#Public} jvm.noneM name (/type.method [type_variables arguments return exceptions])))) def.fuse))]]] |