Ticket #72 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

Kind error with projections in recursive function

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

Description (last modified by benl) (diff)

Added by Jared

example _ = []
  where xs = example ()
        y  = xs.head
        ys = xs.tail

Gives

ared@skinny:~/prg/disciple-HEAD> bin/ddc -c Test.ds
FREAKOUT in Type.Util.Kind
        kindOfType: cannot get kind for TFetter (FProj (TJField (Var {name
= "head", nameModule = ModuleNil, nameSpace = NameField, bind = XBind "fR"
0, info = [ISourcePos (SourcePos ("./Test.ds",3,17))]})) (Var {name =
"tTC604", nameModule = ModuleNil, nameSpace = NameType, bind = XBind "tTC"
604, info = []}) (TClass KValue (ClassId 4)) (TClass KValue (ClassId 31)))

Test is T72-RecursiveProjKind

Change History

Changed 5 years ago by benl

  • component changed from Build System to Source Type Inferencer
  • description modified (diff)

Changed 5 years ago by benl

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.