diff options
| author | johnvg | 2016-04-06 13:51:10 +0000 |
|---|---|---|
| committer | johnvg | 2016-04-06 13:51:10 +0000 |
| commit | ce2e2e0aeffc32c602ec1e141a1abff3335770e3 (patch) | |
| tree | 1a7bde005e03570ed1b0f81183803d09b607e647 /backend/backendinterface.dcl | |
| parent | use {}'s instead of ()'s in element type string for unboxed records (diff) | |
remove an unnecessary record copy in the abc code for some record updates
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2684 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backendinterface.dcl')
0 files changed, 0 insertions, 0 deletions