diff options
| author | Thomas Bauereiss | 2020-04-13 17:26:02 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 14:02:39 +0100 |
| commit | ab0fe3e7920d10d7f9ab74649df71deb47dfb97f (patch) | |
| tree | 70aeb6775effeb8cac5b0e00248a35830c219752 /test/builtins/vector_update_subrange.sail | |
| parent | 42197879faa99536a58dc9b141f276f84c88f7cc (diff) | |
Various monomorphisation fixes
- Handle more combinations of patterns and expressions in constant
propagation
- Remove dead code after throw() in monomorphisation
- Use correct val specs and environments when analysing and
pretty-printing function clauses
Diffstat (limited to 'test/builtins/vector_update_subrange.sail')
0 files changed, 0 insertions, 0 deletions