expressions: Improve "type mismatch" error messages from expression parser.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 6 Jun 2010 19:41:08 +0000 (12:41 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 6 Jun 2010 19:45:44 +0000 (12:45 -0700)
commit6c75618f950e1c68790ff3193ca9ae97edb4a3c9
tree9398ed64adc185c6a8fa6fe846d6ebc2eed394a1
parentc50121b54eea7f7221a03e1e9549afe76e2b3122
expressions: Improve "type mismatch" error messages from expression parser.

Before this commit, type mismatches invoking functions in expressions would
yield confusing error messages due to missing type names, e.g.:
    Type mismatch invoking MISSING(number) as missing(string).
This commit fills in the missing type names:
    Type mismatch invoking MISSING(number) as missing().

An upcoming commit will start checking error messages as part of the tests
for expressions, which should ensure that the problem does not recur.
src/language/expressions/parse.incpl