Ticket #68 (new defect)

Opened 5 years ago

Last modified 5 years ago

Do kind checking during constraint generation.

Reported by: benl Owned by:
Priority: blocker Milestone: 0.1.4
Component: Source Type Inferencer Version: 0.1.2
Keywords: Cc:

Description

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.

Change History

Changed 5 years ago by benl

  • version set to 0.1.2
Note: See TracTickets for help on using tickets.