Opened 10 years ago

Closed 7 years ago

#68 closed defect (wontfix)

Do kind checking during constraint generation.

Reported by: benl Owned by:
Priority: normal Milestone: 0.3.0
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 (4)

comment:1 Changed 10 years ago by benl

  • Version set to 0.1.2

comment:2 Changed 9 years ago by benl

  • Priority changed from blocker to normal

comment:3 Changed 8 years ago by benl

  • Milestone 0.1.4 deleted

Milestone 0.1.4 deleted

comment:4 Changed 7 years ago by benl

  • Milestone set to 0.3.0
  • Resolution set to wontfix
  • Status changed from new to closed

not in new compiler

Note: See TracTickets for help on using tickets.