diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux | 14 |
1 files changed, 8 insertions, 6 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 3acecec11..85d7524f9 100644 --- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux +++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux @@ -14,6 +14,8 @@ [data ["." maybe] ["." product] + [number + ["n" nat]] ["." text ("#@." equivalence) ["%" format (#+ format)]] [collection @@ -329,7 +331,7 @@ (analyse lengthC)) expectedT (///.lift macro.expected-type) [level elem-class] (array-type-info false expectedT) - _ (if (n/> 0 level) + _ (if (n.> 0 level) (wrap []) (/////analysis.throw ..non-array expectedT))] (wrap (#/////analysis.Extension extension-name (list (/////analysis.nat (dec level)) @@ -940,7 +942,7 @@ _ #1) - arity-matches? (n/= (list.size arg-classes) (list.size parameters)) + arity-matches? (n.= (list.size arg-classes) (list.size parameters)) inputs-match? (list@fold (function (_ [expectedJC actualJC] prev) (and prev (text@= expectedJC actualJC))) @@ -962,7 +964,7 @@ (:: try.monad map (list@map jvm.descriptor)) ////.lift)] (wrap (and (java/lang/Object::equals class (java/lang/reflect/Constructor::getDeclaringClass constructor)) - (n/= (list.size arg-classes) (list.size parameters)) + (n.= (list.size arg-classes) (list.size parameters)) (list@fold (function (_ [expectedJC actualJC] prev) (and prev (text@= expectedJC actualJC))) @@ -971,7 +973,7 @@ (def: idx-to-parameter (-> Nat .Type) - (|>> (n/* 2) inc #.Parameter)) + (|>> (n.* 2) inc #.Parameter)) (def: (jvm-type-var-mapping owner-tvars method-tvars) (-> (List Text) (List Text) [(List .Type) Mapping]) @@ -1830,7 +1832,7 @@ (and (text@= super-name sub-name) (method@= superJT subJT)))) list.size - (n/= 1) + (n.= 1) not)) sub-set)) @@ -1852,7 +1854,7 @@ array.to-list (list@map (|>> java/lang/reflect/TypeVariable::getName)))] _ (////.assert ..class-parameter-mismatch [expected-parameters actual-parameters] - (n/= (list.size expected-parameters) + (n.= (list.size expected-parameters) (list.size actual-parameters)))] (wrap (|> (list.zip2 expected-parameters actual-parameters) (list@fold (function (_ [expected actual] mapping) |