diff options
| author | Brian Campbell | 2017-10-24 15:33:23 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-24 15:33:23 +0100 |
| commit | 4590fb436e2d8c567a2b177bd407380993568ab6 (patch) | |
| tree | b4a7a87912d5a2b0d8d4dcede1ff1469da20efbe /src/monomorphise.ml | |
| parent | 8d2728c9c0f7e7660eab5b70d1ed6067b8ef36d0 (diff) | |
Handle existential types in Lem backend by stripping them and
checking that the type variables visible in the output aren't
existential
Diffstat (limited to 'src/monomorphise.ml')
0 files changed, 0 insertions, 0 deletions