diff options
| author | Florian Diebold <[email protected]> | 2020-06-28 20:17:27 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-07-01 19:40:38 +0100 |
| commit | d5d485ef9289589332893f2c0ad96cb366afe9d6 (patch) | |
| tree | 2a722d6d6c4b41aa4bd0479e5eca2dd5250d1588 /.github | |
| parent | 4a19d5954a4665a7a8572f9592f855f68cf0f2c6 (diff) | |
Implement Chalk variable kinds
This means we need to keep track of the kinds (general/int/float) of variables
in `Canonical`, which requires some more ceremony. (It also exposes some places
where we're not really dealing with canonicalization correctly -- another thing
to be cleaned up when we switch to using Chalk's types directly.)
Should fix the last remaining issue of #2534.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions