Ticket #69 (closed defect: fixed)
Better error message when region and closure vars appear in terms
|Reported by:||benl||Owned by:||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.