Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001978Core InformPhrases and functional programmingpublic2016-12-04 10:282016-12-04 10:28
Reporterdfremont 
Assigned To 
PrioritynormalSeveritycriticalReproducibilityalways
StatusnewResolutionopen 
Platformx86OSMac OS XOS Version10.11
Product Version6M62 
Target VersionFixed in Version 
Summary0001978: Internal error on proposition with sufficiently nested quantifiers
DescriptionSee example below. Which quantifiers are used appears not to matter (e.g. "if every room..." also works).
Minimal Source Text To Reproduce
Foo is a room.
When play begins: if a room encloses a room that encloses a room that encloses a room that encloses a 
room that encloses a room that encloses a room that encloses a room that encloses a room that encloses 
a room that encloses a room that encloses a room, do nothing.
Additional InformationThe internal error:

Problem. An internal error has occurred: overrun. The current sentence is 'if a room encloses a room that encloses a room that encloses a room that encloses a room that encloses a room that encloses a room that encloses a room that encloses a room that encloses a room that encloses a room that encloses a room' ; the error was detected at line 873 of "inform7/Chapter 20/Dash.w". This should never happen, and I am now halting in abject failure.
TagsNo tags attached.
Effect(critical) Compiler reports internal error
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2016-12-04 10:28 dfremont New Issue


Copyright © 2000 - 2010 MantisBT Group
Powered by Mantis Bugtracker