diff options
| author | Brian Campbell | 2019-05-07 11:03:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-07 11:03:09 +0100 |
| commit | bb6677f615b370815e9b0b758f953bd4e1bd45d4 (patch) | |
| tree | c82f349090d79102acd4802bad0ce69474bb2b56 /doc/tutorial.tex | |
| parent | 326e97e2ecaafaae75b841999fc94eed34e9a841 (diff) | |
Preserve more pattern locations during type checking
(monomorphisation uses them to decide where to case split)
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions