aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux
diff options
context:
space:
mode:
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.lux14
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)