diff options
| author | Brian Campbell | 2018-02-20 18:01:13 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-20 18:35:13 +0000 |
| commit | 1b078dafa07de56c1aaef872a7b776e6068a10a8 (patch) | |
| tree | 014574ae7a97ba287b887749b1be5d2a6267341d /language/bytecode.ott | |
| parent | de15ab2c26e0c8095bae5a413a307a118e4b9ef0 (diff) | |
Simplifying nexp division, since the type checker can introduce it
(otherwise you end up with div(64,8) in output sizes!)
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions