diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux')
-rw-r--r-- | stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux index a7d889777..2338824c4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -461,7 +461,7 @@ [var_id varT] (typeA.check check.var) arrayA (<| (typeA.expecting (.type (array.Array varT))) (analyse archive arrayC)) - varT (typeA.check (check.clean varT)) + varT (typeA.check (check.clean (list) varT)) arrayJT (jvm_array_type (.type (array.Array varT)))] (in {/////analysis.#Extension extension_name (list (/////analysis.text (..signature arrayJT)) arrayA)})) @@ -667,7 +667,7 @@ _ (typeA.inference varT) arrayA (<| (typeA.expecting (.type (array.Array varT))) (analyse archive arrayC)) - varT (typeA.check (check.clean varT)) + varT (typeA.check (check.clean (list) varT)) arrayJT (jvm_array_type (.type (array.Array varT))) idxA (<| (typeA.expecting ..int) (analyse archive idxC))] @@ -710,7 +710,7 @@ _ (typeA.inference (.type (array.Array varT))) arrayA (<| (typeA.expecting (.type (array.Array varT))) (analyse archive arrayC)) - varT (typeA.check (check.clean varT)) + varT (typeA.check (check.clean (list) varT)) arrayJT (jvm_array_type (.type (array.Array varT))) idxA (<| (typeA.expecting ..int) (analyse archive idxC)) |