Opened 11 years ago

Closed 10 years ago

Last modified 8 years ago

#72 closed defect (fixed)

Kind error with projections in recursive function

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

Description (last modified by benl)

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 (3)

comment:1 Changed 11 years ago by benl

  • Component changed from Build System to Source Type Inferencer
  • Description modified (diff)

comment:2 Changed 10 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed

comment:3 Changed 8 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

Note: See TracTickets for help on using tickets.