search

AnyDSL / thorin

The Higher-Order Intermediate Representation
https://anydsl.github.io
GNU Lesser General Public License v3.0
151 stars 15 forks source link

thorin::Node_TypeParam not handled in CodeGen::convert(Type type) #39

Open richardmembarth opened 8 years ago

richardmembarth commented 8 years ago

Thorin segfaults since thorin::Node_TypeParam is nod handled in CodeGen::convert(Type type), see commit AnyDSL/impala@93237d5

leissa commented 8 years ago

This cannot work. LLVM does not support polymorphism.

richardmembarth commented 8 years ago

So this needs to be resolved earlier?

leissa commented 8 years ago

yes, I can write a pass which rewrites all uses of polymorphic "C" externs accordingly. It's not hard.

leissa commented 8 years ago

We will solve this issue in the long term via traits / better type system.