|View Issue Details [ Jump to Notes ] ||[ Issue History ] [ Print ] |
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000735||Core Inform||Assertions and creations||public||2011-08-28 16:32||2014-05-07 07:34|
|Assigned To||graham|| |
|Platform||x86||OS||Mac OS X||OS Version||10.5|
|Product Version||6G60|| |
|Target Version||Fixed in Version||6L02|| |
|Summary||0000735: Declaring "Every X incorporates a Y" when Y is not a kind can yield a confusing error message|
|Description||The source text yields the following message:|
Problem. You wrote 'Every person incorporates a nose', but also 'Every person incorporates a nose': that seems to be saying that the same object (nose) must be in two different places (yourself and Jane). This looks like a contradiction.
It's confusing to have the error message treat the same sentence as though it's been written twice.
|Minimal Source Text To Reproduce|
Lab is a room. Jane is a woman in Lab. Every person incorporates a nose.
|Additional Information||Writing "A nose is part of every person" instead yields an error message that correctly diagnoses the problem, that the assertion only makes sense if you've defined "nose" as a kind. Maybe the compiler could check whether the same assertion appears twice in an error message, and if so omit the second repetition and give a warning that you might have forgotten to define "nose" as a kind?|
In fact it might be good to append a note about kinds to this message all the time; it's probably fairly common for someone to write "Jane carries a sword. Alice carries a sword." and forget to define swords as a kind.
|Tags||No tags attached.|
|Effect||(cosmetic) Error message is badly worded|