diff options
| author | Jon French | 2018-05-21 14:11:46 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-21 14:11:46 +0100 |
| commit | 9ef6c50df79066c3604e2775cbbaf7eeae5e5bc1 (patch) | |
| tree | 09eaf5e873d865a1880367eea367d299a2a781be /src/test/hello4 | |
| parent | 20b8768d66cc0cfcb1a4c482186d60523ed556ef (diff) | |
fix bug in rewrite_defs_mapping_patterns where pattern-uses of mappings with multiple arguments weren't type-checking correctly
Diffstat (limited to 'src/test/hello4')
0 files changed, 0 insertions, 0 deletions