diff options
| author | Jon French | 2018-09-17 13:50:30 +0100 |
|---|---|---|
| committer | Jon French | 2018-09-17 13:50:30 +0100 |
| commit | 4d410d7c2497d89efe6e756bec035ee5b0e8ba04 (patch) | |
| tree | 16941992c7ad938c4cd7e3fb41caefd81a596be0 /lib/sail.tex | |
| parent | 9f1b822cb91e17741d6f11a87a374e28ded2960a (diff) | |
Rewrites.rewrite_defs_mapping_patterns: emit an explicit type annotation on the generated pattern so re-typechecking works
Diffstat (limited to 'lib/sail.tex')
0 files changed, 0 insertions, 0 deletions