diff options
| author | Thomas Bauereiss | 2018-02-13 19:21:15 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-02-13 19:21:15 +0000 |
| commit | ee7ee68027547631e9b264c0c2f258f24407792a (patch) | |
| tree | d21f82d17c99240cbb95323b9c4cebc0c2f5a333 /language/bytecode.ott | |
| parent | 3e5e5361a7b432e202dfbbbb0300f359a42b7c18 (diff) | |
Try to replace generated kids with user-defined ones from the environment
Solves a problem where generated kids crept into type annotations during
rewriting and caused later typechecking passes to fail.
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions