id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
72,Kind error with projections in recursive function,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}}}",defect,closed,blocker,0.1.3,Source Type Inferencer,0.1.2,fixed,,