roc/crates/compiler/test_mono
Ayaz Hafiz a81d4d4be2
Allow any numeric range to become a float
Currently things like `1 / 200` lead to a miscompilation because we type
`200` (and as a result, both `1` and the division result) as a ranged
number with width >= U8. During mono that forces the number to become an
`I64` because our logic was that a ranged number can only become a float
if it's at least as wide as an I8. But this is incorrect; as long as the
type is wrapped in `Frac` constructor and it's a ranged number (and not
a ranged int), it should become a fractional type.

```
» 1 / 200

0.005 : Float *
```

Closes #4047
2022-09-16 10:05:43 -05:00
..
generated Allow any numeric range to become a float 2022-09-16 10:05:43 -05:00
src Allow any numeric range to become a float 2022-09-16 10:05:43 -05:00
Cargo.toml Bump bumpalo from 3.10.0 to 3.11.0 2022-09-12 21:08:56 +00:00