`type->is_closed()' assertion for polymorphic functions

AnyDSL / thorin

The Higher-Order Intermediate Representation

https://anydsl.github.io

GNU Lesser General Public License v3.0

150 stars 15 forks source link

`type->is_closed()' assertion for polymorphic functions #38

Closed richardmembarth closed 8 years ago

richardmembarth commented 8 years ago

impala: thorin/src/thorin/world.cpp:814: const thorin::TypeNode* thorin::World::unify_base(const thorin::TypeNode*): Assertion `type->is_closed()' failed.

A test case can be found here: AnyDSL/impala@cfdee496f75af61eeee20d2882c3dabc1c828641