MantisBT - Core Inform
View Issue Details
0000173Core InformKinds and type checkingpublic2010-07-05 07:162010-10-28 00:30
fundin 
graham 
normalseriousalways
closedfixed 
x86WindowsVista
6E72 
6F95 
(serious) Compiler rejects valid code
0000173: Descriptions of values with subordinate clauses lose their types
The compiler rejects the example source, saying:

Problem. In the line 'disregard numbers which are even', the text 'numbers which are even' seems to be a description of an object, but a description of a number was required.
Home is a room.

To disregard (D - a description of numbers): do nothing.

When play begins: disregard numbers which are even.
This is not a problem with descriptions in general: 'even numbers' works, but not 'numbers which are even'.
No tags attached.
Issue History
2010-07-05 07:16fundinNew Issue
2010-07-05 12:41jmcgrewStatusnew => acknowledged
2010-07-05 14:51EmacsUserStatusacknowledged => confirmed
2010-09-21 16:07grahamNote Added: 0000572
2010-09-21 16:07grahamStatusconfirmed => resolved
2010-09-21 16:07grahamResolutionopen => fixed
2010-09-21 16:07grahamAssigned To => graham
2010-10-25 21:14jmcgrewFixed in Version => 6F95
2010-10-28 00:30jmcgrewStatusresolved => closed

Notes
(0000572)
graham   
2010-09-21 16:07   
Fixed; and the problem message improved in the case where the wrong kind of description is used, because I found it a little vague.