diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/function.lux | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux index 92ca0e16c..f93f4d035 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux @@ -173,8 +173,8 @@ (def: (with_init class env arity) (-> (Type Class) (Environment Synthesis) Arity Def) (let [env_size (list.size env) - offset_partial (: (-> Nat Nat) - (|>> ++ (n.+ env_size))) + offset_partial (is (-> Nat Nat) + (|>> ++ (n.+ env_size))) store_capturedI (|> (case env_size 0 (list) _ (enum.range n.enum 0 (-- env_size))) @@ -283,25 +283,25 @@ (-> Phase Archive Label Text (Environment Synthesis) Arity Inst (Operation [Def Inst])) (let [classD (type.class class (list)) - applyD (: Def - (if (poly_arg? arity) - (|> (n.min arity //runtime.num_apply_variants) - (enum.range n.enum 1) - (list@each (with_apply classD env arity @begin bodyI)) - (list& (with_implementation arity @begin bodyI)) - def.fuse) - (def.method {$.#Public} $.strictM //runtime.apply_method (//runtime.apply_signature 1) - (|>> (_.label @begin) - bodyI - _.ARETURN)))) - functionD (: Def - (|>> (def.int_field {$.#Public} ($_ $.++F $.staticF $.finalF) arity_field (.int arity)) - (with_environment env) - (with_partial arity) - (with_init classD env arity) - (with_reset classD arity env) - applyD - ))] + applyD (is Def + (if (poly_arg? arity) + (|> (n.min arity //runtime.num_apply_variants) + (enum.range n.enum 1) + (list@each (with_apply classD env arity @begin bodyI)) + (list& (with_implementation arity @begin bodyI)) + def.fuse) + (def.method {$.#Public} $.strictM //runtime.apply_method (//runtime.apply_signature 1) + (|>> (_.label @begin) + bodyI + _.ARETURN)))) + functionD (is Def + (|>> (def.int_field {$.#Public} ($_ $.++F $.staticF $.finalF) arity_field (.int arity)) + (with_environment env) + (with_partial arity) + (with_init classD env arity) + (with_reset classD arity env) + applyD + ))] (do phase.monad [instanceI (..instance generate archive classD arity env)] (in [functionD instanceI])))) |