diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/standardClient.ey | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/compiler/standardClient.ey b/compiler/standardClient.ey index b31011c..7e9d94b 100644 --- a/compiler/standardClient.ey +++ b/compiler/standardClient.ey @@ -600,6 +600,10 @@ { 0 earlierType * sys .typed .type 0 neq } { 0 } + # General integers co-iterate only if equal + { 0 earlierType * 0 laterType * neq } + { 0 } + # Who came first determines iteration range { 2 earlierType * 1 neg neq } { earlierType 1 } @@ -608,12 +612,9 @@ { 2 laterType * 1 neg neq } { laterType 1 } - # General integers co-iterate iff equal - { 0 earlierType * 0 laterType * eq } - { earlierType 1 } - + # If none defines a range, take the first { 1 } - { 0 } + { earlierType 1 } ] conds } /commonIterationType deff |