diff options
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux')
-rw-r--r-- | stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux index 769646ad0..2d1dec4b2 100644 --- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux +++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux @@ -801,8 +801,7 @@ (def: (reflection-return mapping typeJ) (-> Mapping (Type Return) (Operation .Type)) - (case (|> typeJ jvm.signature signature.signature - (<t>.run (luxT.return mapping))) + (case (|> typeJ ..signature (<t>.run (luxT.return mapping))) (#try.Success check) (typeA.with-env check) @@ -1307,10 +1306,10 @@ [#let [argsT (list@map product.left argsTC)] [methodT exceptionsT] (method-candidate class-tvars class method-tvars method #Static argsT) [outputT argsA] (inferenceA.general analyse methodT (list@map product.right argsTC)) - outputJC (check-return outputT)] + outputJT (check-return outputT)] (wrap (#/////analysis.Extension extension-name (list& (/////analysis.text (..signature (jvm.class class (list)))) (/////analysis.text method) - (/////analysis.text (..signature outputJC)) + (/////analysis.text (..signature outputJT)) (decorate-inputs argsT argsA))))))])) (def: invoke::virtual @@ -1328,10 +1327,10 @@ _ (undefined))] - outputJC (check-return outputT)] + outputJT (check-return outputT)] (wrap (#/////analysis.Extension extension-name (list& (/////analysis.text (..signature (jvm.class class (list)))) (/////analysis.text method) - (/////analysis.text (..signature outputJC)) + (/////analysis.text (..signature outputJT)) objectA (decorate-inputs argsT argsA))))))])) @@ -1344,10 +1343,10 @@ [#let [argsT (list@map product.left argsTC)] [methodT exceptionsT] (method-candidate class-tvars class method-tvars method #Special argsT) [outputT argsA] (inferenceA.general analyse methodT (list& objectC (list@map product.right argsTC))) - outputJC (check-return outputT)] + outputJT (check-return outputT)] (wrap (#/////analysis.Extension extension-name (list& (/////analysis.text (..signature (jvm.class class (list)))) (/////analysis.text method) - (/////analysis.text (..signature outputJC)) + (/////analysis.text (..signature outputJT)) (decorate-inputs argsT argsA))))))])) (def: invoke::interface @@ -1368,11 +1367,11 @@ _ (undefined))] - outputJC (check-return outputT)] + outputJT (check-return outputT)] (wrap (#/////analysis.Extension extension-name (list& (/////analysis.text (..signature (jvm.class class-name (list)))) (/////analysis.text method) - (/////analysis.text (..signature outputJC)) + (/////analysis.text (..signature outputJT)) objectA (decorate-inputs argsT argsA))))))])) |