diff options
| author | Thomas Bauereiss | 2020-04-12 23:42:56 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 14:02:39 +0100 |
| commit | 5963b1fddba11309c8a3efa9efa866530473c42d (patch) | |
| tree | 29f59be19f1de74d6666d7cee27809e24282faf1 /lib | |
| parent | dda95db0f6c2c739e2ba7c29150f8f4a1eb3f403 (diff) | |
Take kid synonyms into account when propagating constants
For example, in
let datasize = e in ...
the typechecker will generate a kid '_datasize if e has an existential
type (with one kid), and in
let 'datasize = e in ...
the typechecker will bind both 'datasize and '_datasize. If we
substitute one as part of constant propagation, this patch will make
constant propagation also substitute the other.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions