diff options
| author | Brian Campbell | 2019-05-01 15:29:52 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-06 16:36:45 +0100 |
| commit | 3cf9fe6ab8779565a3a12d72d401c8f1d9163b90 (patch) | |
| tree | 92a8cf320454180c7a284e8683daa7331753b1aa /src/util.ml | |
| parent | 157935a2394cf900a0e74830f5ea4dc545238c6f (diff) | |
Cope with irrelevant existentials when monomorphising constructors
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions