Type synonyms involving tuples and function types are broken

AnyDSL / thorin

The Higher-Order Intermediate Representation

https://anydsl.github.io

GNU Lesser General Public License v3.0

151 stars 15 forks source link

Closed RalfJung closed 8 years ago

RalfJung commented 9 years ago

See the branch "impala-fail2" in imbatracer: https://github.com/AnyDSL/imbatracer/tree/impala-fail2 . The last commit shows the change leading to the breakage.

richardmembarth commented 8 years ago

duplicate of AnyDSL/impala#12