diff options
| author | Alasdair | 2018-12-12 01:45:20 +0000 |
|---|---|---|
| committer | Alasdair | 2018-12-12 01:45:20 +0000 |
| commit | cdf287dfb69275e479d79ebc0d305e365dd3ee7b (patch) | |
| tree | 636d211d4942db38cef1c0e09ac77683d28d1030 /src/process_file.mli | |
| parent | c65aecd008d34102f4c95649113ed7f9afcc903b (diff) | |
Remove KOpt_none constructor
We should infer type variable kinds better in initial_check.ml, but we really don't want to have to deal
with that everywhere, especially when we can no longer easily cheat and assume KOpt_none implies K_int.
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions