search

curiousdannii-testing / inform7-imported-bugs

0 stars 0 forks source link

[I7-1551] [Mantis 1587] Nonsense error message on certain assemblies of abstract kinds #533

Closed curiousdannii-testing closed 2 years ago

curiousdannii-testing commented 2 years ago

Reported by : dfremont

Description :

A bad Problem message results from an assembly creating instances of a non-built-in top-level kind when the assembly sets a property implying that the instances are objects. In the example below, Inform seems to think that object is a kind of candle for some reason, so that candles being objects produces a circularity; however the real problem is that candles aren't physical objects (if you remove the "lit", then Inform produces a Problem message diagnosing the issue correctly). Also of course there is the "", which presumably arises since this Problem message is also used when a kind circularity is produced by two explicit "X is a kind of Y" assertions.

Steps to reproduce :

Foo is a room.
A candle is a kind.
A lit candle is in every room.

Additional information :

The Problem message:

Problem. You wrote 'A lit candle is in every room' , but that seems to contradict , as it would make a circularity with a candle and an object each being kinds of the other.

imported from: [Mantis 1587] Nonsense error message on certain assemblies of abstract kinds
  • status: Closed
  • resolution: Resolved
  • resolved: 2022-04-07T04:59:19+10:00
  • imported: 2022/01/10
curiousdannii-testing commented 2 years ago

557058:4c095ffd-6d6f-47ce-9e73-77c613347b86:

Comment by graham :
This was a very deep-seated bug, and nothing to do with candle not being a kind of object, as it turned out. Fixed now.