Ticket #68 (new defect)

Opened 4 years ago

Last modified 4 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 4 years ago by benl

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