id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
68,Do kind checking during constraint generation.,benl,,"Added by Jared

Compiling the following function
{{{
data Foo %r0 = Foo (Int32# %r0)
}}}

Gives
{{{
ddc: PANIC in Type.Util.Elaborate
        elabRs2: no match for ([%r0], *)
            topType = Base.Int32# %r0
}}}

Applying %r0 to Int32# is a kind error. We should detect this and give a nicer messages.",defect,new,blocker,0.1.4,Source Type Inferencer,0.1.2,,,