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