Anonymous | Login | Signup for a new account | 2018-04-24 22:00 PDT | ![]() |
Main | My View | View Issues | Change Log | Roadmap |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||
ID | Project | Category | View Status | Date Submitted | Last Update | |
0000661 | Core Inform | Assertions and creations | public | 2011-05-18 03:48 | 2014-05-07 07:33 | |
Reporter | Fuchsia tude | |||||
Assigned To | graham | |||||
Priority | normal | Severity | serious | Reproducibility | always | |
Status | closed | Resolution | fixed | |||
Platform | x86 | OS | Windows | OS Version | 7 | |
Product Version | 6G60 | |||||
Target Version | Fixed in Version | 6L02 | ||||
Summary | 0000661: Compound sentence of new non-preposition assertion verbs will not compile | |||||
Description | After defining multiple new assertion verbs that are valid for an object, attempting to combine them in a single assertion sentence will not compile. Moreover, the error message incorrectly claims that the same property is trying to be set, even though each verb relates to a different property and each phrase definition contains no word in common with the other. | |||||
Minimal Source Text To Reproduce | Sylvan relates one room to various rooms. The verb to be forestwise from implies the sylvan relation. The verb to lead forestwise to (he leads forestwise to) implies the reversed sylvan relation. Buildwise relates one room to various rooms. The verb to be buildwise form implies the buildwise relation. The verb to run buildwise towards (he runs buildwise towards) implies the reversed buildwise relation. Road is a room. Forest is a room. Building is a room. Forest is forestwise from Road, forestwise from Building. Road leads forestwise to Forest. It runs buildwise towards Building. [compiles] Road leads forestwise to Forest, runs buildwise towards Building. [does not compile] Road leads forestwise to Forest and runs buildwise towards Building. [does not compile] | |||||
Additional Information | This is the report produced by Inform 7 (build 6G60) on its most recent run through: Problem. You wrote 'Road leads forestwise to Forest, runs buildwise to Building' : but this looks like a contradiction, because the same property seems to be being set in each of these sentences, but with a different outcome. | |||||
Tags | No tags attached. | |||||
Effect | (serious) Compiler rejects valid code | |||||
Attached Files | ||||||
![]() |
|
(0001180) EmacsUser (manager) 2011-05-23 09:07 |
The error message is correct; the trouble is Inform reading ``runs buildwise towards building'' as a room name, so that - - - - Forest is forestwise from Road, forestwise from Building. - - - - asserts ``forest sylvan-relation road,'' which is contradicted by the line - - - - Road leads forestwise to Forest, runs buildwise towards Building. - - - - asserting ``runs buildwise towards building sylvan-relation road'' (the sylvan relation is one-to-various). |
(0002664) graham (administrator) 2014-05-04 09:52 |
Inform's behaving correctly here (it doesn't allow multiple primary verbs in a sentence), but it now explains itself with a more helpful problem message. |
![]() |
|||
Date Modified | Username | Field | Change |
2011-05-18 03:48 | Fuchsia tude | New Issue | |
2011-05-22 12:51 | jmcgrew | Status | new => acknowledged |
2011-05-23 09:07 | EmacsUser | Note Added: 0001180 | |
2011-05-23 09:07 | EmacsUser | Status | acknowledged => confirmed |
2014-05-04 09:52 | graham | Note Added: 0002664 | |
2014-05-04 09:52 | graham | Status | confirmed => resolved |
2014-05-04 09:52 | graham | Resolution | open => fixed |
2014-05-04 09:52 | graham | Assigned To | => graham |
2014-05-07 07:32 | jmcgrew | Fixed in Version | => 6L02 |
2014-05-07 07:33 | jmcgrew | Status | resolved => closed |
Copyright © 2000 - 2010 MantisBT Group |