MantisBT - Core Inform
View Issue Details
0000434Core InformKinds and type checkingpublic2010-11-21 19:052014-05-07 07:33
Poster 
graham 
normalmildalways
closedfixed 
x86Mac OS X10.5
6F95 
6L02 
(serious/mild) Game compiles but misbehaves
0000434: Saying a kind "can be closed or open" makes "open" work strangely
If you declare a kind of supporter, then all open containers are closed. I've tested this with two containers and two rooms, so apparently it's system-wide. I've also rephrased the definition of the bowl by breaking up the declarations into separate declarations, and that makes no difference.
A cardboard box is a kind of supporter. A cardboard box can be closed or open. A cardboard box can be openable.

Sanitarium is a room.

The bowl is a transparent open container in Sanitarium.
The burger is in the bowl.
Here is the output:
Welcome
An Interactive Fiction
Release 1 / Serial number 101121 / Inform 7 build 6F95 (I6/v6.31 lib 6/12N) SD

Sanitarium
You can see a bowl (closed) (in which is a burger) here.
No tags attached.
has duplicate 0000498closed jmcgrew Creating an Open/Closed Thing Closes an Open Container Kind 
Issue History
2010-11-21 19:05PosterNew Issue
2010-11-21 19:31jmcgrewNote Added: 0000865
2010-11-21 19:31jmcgrewStatusnew => confirmed
2010-11-21 19:31jmcgrewSummaryDeclaring a Kind of Supporter Makes Containers Closed => Saying a kind "can be closed or open" makes "open" work strangely
2011-01-08 20:16jmcgrewRelationship addedhas duplicate 0000498
2014-02-01 12:27grahamNote Added: 0002428
2014-02-01 12:27grahamStatusconfirmed => resolved
2014-02-01 12:27grahamResolutionopen => fixed
2014-02-01 12:27grahamAssigned To => graham
2014-05-07 07:32jmcgrewFixed in Version => 6L02
2014-05-07 07:33jmcgrewStatusresolved => closed

Notes
(0000865)
jmcgrew   
2010-11-21 19:31   
The "showme" command refers to the box as a transparent closed container but later says it's open. If you make the bowl openable and then try to open it, you're told that it's already open.

The culprit seems to be the order of the terms when you say the box can be "closed or open". If you change it to "open or closed" (matching the Standard Rules definitions), things seem to work correctly.
(0002428)
graham   
2014-02-01 12:27   
Fixed at last.