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 /test | |
| 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 'test')
| -rw-r--r-- | test/mono/itself_rewriting.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mono/itself_rewriting.sail b/test/mono/itself_rewriting.sail index dfc76cf9..912cb99d 100644 --- a/test/mono/itself_rewriting.sail +++ b/test/mono/itself_rewriting.sail @@ -79,7 +79,7 @@ val test_execute : unit -> unit function test_execute() = { let exp = 4; - let datasize = shl_int(1, exp); + let 'datasize = shl_int(1, exp); execute(datasize) } |