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 /language/bytecode.ott | |
| 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 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions