MantisBT - Core Inform
View Issue Details
0000445Core InformKinds and type checkingpublic2010-11-30 08:052014-05-07 07:34
EmacsUser 
graham 
normalcosmeticalways
closedfixed 
x86Mac OS X10.4
6E59 
6L02 
(cosmetic) Error message is badly worded
0000445: HTML for runtime problem P60 has the explanation cast in the wrong template
The attached source brings up this error page:

- - - -
Translating the Source - Attempt to set a variable to the wrong kind of object
Suppose we write 'The favourite place is a room that varies.', and then during play 'now the favourite place is X', where X is some value. If Inform can tell in advance that X can't be a room, it will produce a Problem message and refuse to translate the source. But sometimes it can't tell in advance, because Inform only knows that X will be an object - which might or might not be a room. When that happens, it has to check at run-time (now!) to make sure. That's the check which has just failed for a variable of yours.

Sorry for the inconvenience.
- - - -

The explanation is fine, but the surrounding text seems wrong: this isn't an error in translating the source. Probably the html should match the sort of page that comes up in response to executing lines like ``now the player is nothing.''
There is a room.
The place of origin is a room that varies.
The shadows are scenery.
When play begins:
let a dim spot be the shadows;
now the place of origin is a dim spot;
move the player to the place of origin.
Also, the source still changes the location of the player to the shadows; the assignment to the place of origin is happening despite the check and problem message. I'm not sure if that should be filed as another bug, or if the message is simply warning the author that there is trouble ahead.
No tags attached.
related to 0000129closed graham Missing run-time type check assigning from a supertype to a subtype 
Issue History
2010-11-30 08:05EmacsUserNew Issue
2010-11-30 08:05EmacsUserIssue generated from0000129
2010-11-30 09:01jmcgrewRelationship addedrelated to 0000129
2010-11-30 09:01jmcgrewStatusnew => confirmed
2011-10-15 02:37grahamNote Added: 0001365
2011-10-15 02:37grahamStatusconfirmed => resolved
2011-10-15 02:37grahamResolutionopen => fixed
2011-10-15 02:37grahamAssigned To => graham
2014-05-07 07:34jmcgrewFixed in Version => 6L02
2014-05-07 07:34jmcgrewStatusresolved => closed

Notes
(0001365)
graham   
2011-10-15 02:37   
Fixed: an off-by-one error in the code compiling these problem report pages. (This happens to be the numerically highest run-time error message.)