diff options
| author | Eduardo Julian | 2017-10-12 18:14:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-12 18:14:19 -0400 |
| commit | 4b672d27a1a1a79643c43cf06917072cc97c1289 (patch) | |
| tree | 6136e952c0e87172921ad4bf5c0ee128a085a0ba /new-luxc/source/luxc/analyser | |
| parent | 50c370878c0f9985a8b6d1003af9e9f6282b853e (diff) | |
- Compilation and tests for arrays.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/analyser/procedure/host.jvm.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/analyser/procedure/host.jvm.lux b/new-luxc/source/luxc/analyser/procedure/host.jvm.lux index e21281984..a4cc20400 100644 --- a/new-luxc/source/luxc/analyser/procedure/host.jvm.lux +++ b/new-luxc/source/luxc/analyser/procedure/host.jvm.lux @@ -193,7 +193,7 @@ (&;fail (invalid-array-type expectedT))))) _ (&;assert "Must have at least 1 level of nesting in array type." (n.> +0 level))] - (wrap (#la;Procedure proc (list (#la;Nat level) (#la;Text elem-class) lengthA)))) + (wrap (#la;Procedure proc (list (#la;Nat (n.dec level)) (#la;Text elem-class) lengthA)))) _ (&;fail (@;wrong-arity proc +1 (list;size args)))))) @@ -271,7 +271,7 @@ idxA (&;with-expected-type Nat (analyse idxC)) _ (&;infer elemT)] - (wrap (#la;Procedure proc (list (#la;Text elem-class) arrayA idxA)))) + (wrap (#la;Procedure proc (list (#la;Text elem-class) idxA arrayA)))) _ (&;fail (@;wrong-arity proc +2 (list;size args)))))))) @@ -294,7 +294,7 @@ valueA (&;with-expected-type valueT (analyse valueC)) _ (&;infer (type (Array elemT)))] - (wrap (#la;Procedure proc (list (#la;Text elem-class) arrayA idxA valueA)))) + (wrap (#la;Procedure proc (list (#la;Text elem-class) idxA valueA arrayA)))) _ (&;fail (@;wrong-arity proc +3 (list;size args)))))))) |