diff options
| author | Thomas Bauereiss | 2020-04-12 20:47:06 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 14:02:39 +0100 |
| commit | ce927d2003375e585fb814ac1f79d8c2dfac806c (patch) | |
| tree | a2f777999800c66d849aa70883401baed799e8eb /test/ocaml | |
| parent | ba733dcb489ee6990bc0b5125cb5a99fc3e9b722 (diff) | |
Mono: Propagate constants after applying pattern choices
This will propagate constant assignments in chosen branches of case
expressions after applying pattern choices, e.g. the assignment to
datasize in
match size {
[bitone, _] => datasize = 64,
...
}
when pattern [bitone, _] is chosen for size.
Diffstat (limited to 'test/ocaml')
0 files changed, 0 insertions, 0 deletions