|View Issue Details [ Jump to Notes ] ||[ Issue History ] [ Print ] |
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000173||Core Inform||Kinds and type checking||public||2010-07-05 07:16||2010-10-28 00:30|
|Assigned To||graham|| |
|Product Version||6E72|| |
|Target Version||Fixed in Version||6F95|| |
|Summary||0000173: Descriptions of values with subordinate clauses lose their types|
|Description||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.
|Minimal Source Text To Reproduce|
Home is a room.
To disregard (D - a description of numbers): do nothing.
When play begins: disregard numbers which are even.
|Additional Information||This is not a problem with descriptions in general: 'even numbers' works, but not 'numbers which are even'.|
|Tags||No tags attached.|
|Effect||(serious) Compiler rejects valid code|