diff options
| author | Brian Campbell | 2018-02-01 18:39:39 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-01 18:40:34 +0000 |
| commit | a8ae5324fb8605432373c32aadd1f65707dfcf05 (patch) | |
| tree | 1d156a240e744da657c8acd52ba4cf4e74e3a6b5 /lib/main.ml | |
| parent | 36f26eeedbd5d953df9dc92558882e0bbb555fa8 (diff) | |
Curtail function bodies at known-false assertions during mono
(preventing non-monomorphised sizes appearing in wildcard cases)
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions