Generate wrong name!

[liangtea]

record_with_const = record +c +j +o { const const_value: i32 = 8; }

Djinni will generate record_with_const_base,not record_with_const.At the same time djinni will generate class RecordWithConstBase!It will cause compilation errors.

[liangtea]

You are doing a great thing. But I need your help for some details.

[skabbes]

Since records aren't polymorphic, you don't need the +c +j +o in the definition.

I believe you want to do this:

record_with_const = record { const const_value: i32 = 8; }

If you do indeed want to extend djinni records, you should read the documentation here.