ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-01 06:24:58 +03:00
Code Issues Projects Releases Wiki Activity

Fix for Mantis bug 1876

Browse source
This commit is contained in:
Graham Nelson 2022-04-13 08:42:50 +01:00
parent bddb6afd0d
commit 54a21cb840
2 changed files with 9 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
inform7/Tests/Test Problems/_Results_Ideal/PM_BadProvides.txt
View file

@ -1,12 +1,13 @@
Inform 7 build 6L26 has started.
Inform 7 v10.1.0 has started.
I've now read your source text, which is 8 words long.
I've also read Standard Rules by Graham Nelson, which is 42597 words long.
I've also read English Language by Graham Nelson, which is 2288 words long.
I've also read Basic Inform by Graham Nelson, which is 7691 words long.
I've also read English Language by Graham Nelson, which is 2328 words long.
I've also read Standard Rules by Graham Nelson, which is 32132 words long.
Problem__ PM_BadProvides
>--> In the sentence 'The player provides 10' (source text, line 3), it looks
as if you intend 'The player provides 10' to be asserting something, but
that asks whether something provides something, and in Inform 'to provide'
means that an object (or value) has a property attached - for instance,
containers provide the property 'carrying capacity'. Here, though, we have
a number rather than the name of a property.
Inform 7 has finished: 16 centiseconds used.
containers provide the property 'carrying capacity'. Here, though, what
comes after 'provides' is a number rather than the name of a property.
Inform 7 has finished.

4
inform7/knowledge-module/Chapter 3/The Provision Relation.w
View file

@ -55,8 +55,8 @@ int ProvisionRelation::typecheck(bp_family *self, binary_predicate *bp,
StandardProblems::tcp_problem(_p_(PM_BadProvides), tck,
"that asks whether something provides something, and in Inform 'to provide' "
"means that an object (or value) has a property attached - for instance, "
"containers provide the property 'carrying capacity'. Here, though, we have "
"%4 rather than the name of a property.");
"containers provide the property 'carrying capacity'. Here, though, what "
"comes after 'provides' is %4 rather than the name of a property.");
return NEVER_MATCH;
}