File | NumericPromotions.str |
Author | Martin Bravenboer |
Since | unknown |
5.6: Numeric Promotions
General | |
Lines of code | 63 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 2 (100% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
binary-numeric-promotion-of-types | 5 | NumericPromotions.str |
unary-numeric-promotion-of-type | 5 | NumericPromotions.str |
Strategy details |
|||||||||||
ATerm | binary-numeric-promotion-of-types | ||||||||||
5.6.2: Binary Numeric Promotion
|
|||||||||||
ATerm | unary-numeric-promotion-of-type | ||||||||||
5.6.1: Unary Numeric Promotion
|
|||||||||||