PE does not terminate for dynamic higher-order functions - Githubissues

AnyDSL / thorin

The Higher-Order Intermediate Representation

https://anydsl.github.io

GNU Lesser General Public License v3.0

151 stars 15 forks source link

PE does not terminate for dynamic higher-order functions #33

Closed richardmembarth closed 8 years ago

richardmembarth commented 8 years ago

A test case for this can be found in AnyDSL/impala@e2c17b8.