diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-27T20·47+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-27T20·47+0100 |
| commit | c9f6232304558cbdafb14e13e316e539f5bed72e (patch) | |
| tree | be031e3dfe9f8f476d56b5ce32c1773ab956a8a3 /tests/substituter.sh | |
| parent | 29cde917fe6b8f2e669c8bf10b38f640045c83b8 (diff) | |
Correctly detect infinite recursion in function application
If we're evaluating some application ‘v = f x’, we can't store ‘f’ temporarily in ‘v’, because if ‘f x’ refers to ‘v’, it will get ‘f’ rather than an infinite recursion error. Unfortunately, this breaks the tail call optimisation introduced in c897bac54954373f63511702731fe2cb23c0c98e. Fixes #217.
Diffstat (limited to 'tests/substituter.sh')
0 files changed, 0 insertions, 0 deletions