diff options
| author | Brian Campbell | 2018-01-15 18:14:58 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-15 18:14:58 +0000 |
| commit | b4c367435b335f6a7160ed379408425c66c39ae1 (patch) | |
| tree | f4b479637a41e099303821ddfeaead2bbb3a56a5 /lib | |
| parent | fb8e8ce65d5ea13b92ec731820ed6c7a9a89f6a0 (diff) | |
Check monomorphisation case split size once for each pattern
(rather than for each argument separately)
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions