diff options
| author | Brian Campbell | 2018-02-13 12:22:06 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-13 12:22:06 +0000 |
| commit | 3e5e5361a7b432e202dfbbbb0300f359a42b7c18 (patch) | |
| tree | 60a3ed113be5cc85b0fbf4c82613531c33b996a0 /language/bytecode.ott | |
| parent | cdb18b1e79bef443c49553eba6dcafb729471cfa (diff) | |
Some support in mono for extra fresh tyvars generated in the typechecker
(still some work to do in AtomToItself rewrite, but should work despite
error messages)
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions