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

Question

richardmembarth opened this issue 8 years ago · comments

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

Roland Leißa · Answer 1 · Sun Jan 24 2016 01:57:57 GMT+0800 (China Standard Time)

This cannot work. LLVM does not support polymorphism.

Richard Membarth · Answer 2 · Sun Jan 24 2016 02:04:42 GMT+0800 (China Standard Time)

So this needs to be resolved earlier?

Roland Leißa · Answer 3 · Sun Jan 24 2016 03:18:21 GMT+0800 (China Standard Time)

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

Roland Leißa · Answer 4 · Wed Jan 27 2016 01:15:10 GMT+0800 (China Standard Time)

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