diff options
| author | Drahflow <drahflow@gmx.de> | 2015-06-23 14:01:40 +0200 |
|---|---|---|
| committer | Drahflow <drahflow@gmx.de> | 2015-06-23 14:01:40 +0200 |
| commit | f2d3dd3ce83f27f7f2903e80d2d863684942bbf9 (patch) | |
| tree | 1048c3258111222aca8cc8c1b6bec881ac52f6cc /compiler/standardClient.ey | |
| parent | fea39670a874e164c559c11859257dbd162cb31a (diff) | |
Handle empty iterables
Diffstat (limited to 'compiler/standardClient.ey')
| -rw-r--r-- | compiler/standardClient.ey | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/compiler/standardClient.ey b/compiler/standardClient.ey index acdb354..6170c6b 100644 --- a/compiler/standardClient.ey +++ b/compiler/standardClient.ey @@ -515,7 +515,7 @@ { ==object { object dump "unknown type in typeStack" die } ==unknown { object dump "invalid type in typeStack" die } ==invalid - { [ object 0 1 neg ] } ==literal + { [ object 0 1 neg 0 ] } ==literal object sys .typed .type [ literal # integer @@ -525,13 +525,20 @@ invalid # extension area { object sys .typed .inputs ==in in len 1 neq { "multi-input function in typeStack" die } rep - [ 0 in * 0 1 neg ] + [ 0 in * 0 1 neg 0 ] object sys .typed .outputs ==out out len 1 neq { "multi-output function in typeStack" die } rep 0 out * typeStackInternal } # function invalid # function code - { [ 1 0 object len 1 sub ] 0 object * typeStackInternal } # array + { + [ 1 0 object len 1 sub 1 ] + object len { + 0 object * typeStackInternal + } { + [ 0 0 1 neg 0 ] # fake some integer entries + } ? * + } # array invalid # function type { [ @@ -539,7 +546,7 @@ object "#dom" . ==d object "#in" . ==in in len 1 neq { "multi-input scope (with #dom) in typeStack" die } rep - [ 0 in * 0 d len 1 sub ] + [ 0 in * 0 d len 1 sub 1 ] object "#out" . ==out out len 1 neq { "multi-output scope (with #dom) in typeStack" die } rep 0 out * typeStackInternal @@ -547,7 +554,7 @@ { object "#*" .? } { object "#in" . ==in in len 1 neq { "multi-input scope in typeStack" die } rep - [ 0 in * 0 1 neg ] + [ 0 in * 0 1 neg 0 ] object "#out" . ==out out len 1 neq { "multi-output scope in typeStack" die } rep 0 out * typeStackInternal @@ -569,9 +576,9 @@ { -- 0 } /isVariableType deff { ==t - t len 3 neq { "complex execution type non-triple" die } rep + t len 4 neq { "complex execution type non-triple" die } rep - 2 t * 1 t * ge + 3 t * } /isIterableType deff { =*a =*b |