id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
69,Better error message when region and closure vars appear in terms,benl,benl,"Added by Jared:

The following function fails to compile.
{{{
example :: String -> String -> String
example a b = a%b
}}}

The error message is
{{{
ddc: PANIC in Source.Parser.Util
        vNameN: conflicting namespace for variable %b
           name space was     NameRegion
           tried to set it to NameField
           info               [ISourcePos (SourcePos (""./Test.ds"",2,15))]
}}}
A similar panic occurs if % is replaced with $ and the type is changed accordingly.

The program has a type/kind error. Can't use region vars in the term, but we should give a nicer error message.",defect,closed,blocker,0.1.3,Source Parser,0.1.2,fixed,,