MantisBT - Core Inform
View Issue Details
0000838Core InformKinds and type checkingpublic2012-01-13 15:452014-05-07 07:34
EmacsUser 
graham 
normalseriousalways
closedfixed 
x86Mac OS X10.6
6G60 
6L02 
(serious) Compiler rejects valid code
0000838: Global variables cannot be declared to hold rulebook outcomes
The attached source leads to

- - - -
Problem. I am unable to put any value into the variable 'Foo', because rulebook outcome is a kind of value with no actual values.
- - - -

which would seem to contradict the output of a story like

- - - -
There is a room.
When play begins:
    showme the there is sufficient light outcome.
- - - -
There is a room.
Foo is a rulebook outcome that varies.
No tags attached.
related to 0000839closed graham The kinds ``rulebook outcome'' and "topic" do not appear in the kinds tab of the index 
Issue History
2012-01-13 15:45EmacsUserNew Issue
2012-01-13 15:48EmacsUserIssue cloned0000839
2012-01-13 15:48EmacsUserRelationship addedrelated to 0000839
2012-06-20 08:23curiousdanniiNote Added: 0001689
2012-06-20 08:23curiousdanniiStatusnew => confirmed
2012-06-20 08:23curiousdanniiDescription Updatedbug_revision_view_page.php?rev_id=700#r700
2014-01-14 13:14grahamNote Added: 0002292
2014-01-14 13:14grahamStatusconfirmed => resolved
2014-01-14 13:14grahamResolutionopen => fixed
2014-01-14 13:14grahamAssigned To => graham
2014-05-07 07:34jmcgrewFixed in Version => 6L02
2014-05-07 07:34jmcgrewStatusresolved => closed

Notes
(0001689)
curiousdannii   
2012-06-20 08:23   
This compiles too, so it is only a problem for global variables.

There is a room.
When play begins:
    let a be the there is sufficient light outcome;
    showme a.
(0002292)
graham   
2014-01-14 13:14   
While I never intended people to make variables of this kind, which exists for internal reasons, I agree that it's an unnecessary inconsistency to behave as the example source does. I've enabled this.