diff options
| author | Florian Diebold <[email protected]> | 2020-06-06 16:52:00 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-06-06 16:52:00 +0100 |
| commit | d66daee84906358c0119ed2eb29386454f5e4350 (patch) | |
| tree | 2016ec64b709488dce3ba919b48515593cd93df6 /docs/user | |
| parent | a609336d7287b3ddddbde30b1f0fb606bf149baf (diff) | |
Clean up handling of int/float literal types
'Unknown' int/float types actually never exist as such, they get replaced by
type variables immediately. So the whole `Uncertain<IntTy>` thing was
unnecessary and just led to a bunch of match branches that were never hit.
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions