diff options
| author | Thomas Bauereiss | 2018-03-02 19:05:15 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-02 19:08:26 +0000 |
| commit | 936150eda67ddbd216653fe4030bb6b790c6bb17 (patch) | |
| tree | 03098332fd1e87a698ced36b485f4d14c65da4b0 /language/bytecode.ott | |
| parent | 0904b3d88cc628c817d0424186812def078d9acc (diff) | |
Fix a bug in rewriting of loops for Lem backend
The rewriter ignored loops that were not contained within some let-binding,
which later caused the Lem pretty-printer to fail (see #8).
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions