Bugs Fixed in Visual Prolog 7.2 Build 7201

The bugs listed below have been fixed in Visual Prolog 7.2.

Compiler

• "Go to Declaration" in the IDE does not work properly for functor declarations (ID: 39875)

• Unexpected syntax error for a construction like: ..., (Obj:p()):q(), ... (ID: 39913)

• An exception at runtime caused by incorrect order of statically initialized facts (ID: 40409)

• Endless loop in the compiler during generation of browse information (ID: 40483)

• Debugger Variables Window: a variable which is bound in catch-block is shown as garbage outside try-catch-finally statetement (ID: 40540)

• Bug in generated link names for overloaded predicates (ID: 40633)

• Optimization wrongly moves This variable binding after object fact operations (ID: 40701)

• Bug in object initialization check (ID: 40977)

• Incorrect browse information if syntax errors are encountered in a file (ID: 41068)

• The equality test fails for "public" and "private" sub-objects of the same object (ID: 41077)

• Iincreased total size of an image caused by repeating of code pieces while code generation (ID: 41105)

• Deprecated constructors give an extra warning about their own implementation (ID: 41108)

• Code generation bug for an optimized tail call that contains a call to a deterministic function as an input argument (ID: 41163)

• Compiler option /check:stack does not work properly for the stdcall calling convention (ID: 41203)

• "Stack overflow" exception in codesgeneration for the built-in predicate uncheckedConvert/2-> (ID: 41204)

• A deprecated entity used in a constant must give a warning for the constant definition, but not for this constant usage (ID: 41233)

• Unreachable codes are not detected properly in some statements like trap/3 and finaly/2 (ID: 41425)

• The optimization for /opt:term+ can remain a variable unbound in if-then-else statement (which leads to exception on execution) (ID: 41653)

• The same link names for a predicate with different flow patters with different predicate modes (ID: 41905)

• An exception for nested "properties from" in code generation (ID: 41924)

• Sometimes free variables are not detected properly which makes the generated codes incorrect (ID: 41987)

• Wrong partial evaluation of "rem" / "mod" operator at compilation time (ID: 42022)

• Internal error (The clause contains a call which arguments are incorrectly represented in the program tree) for some using of object properties (ID: 42115)

• Internal error for a type being already set (ID: 42176)

• convert/2 built-in predicate can return negative result when converting a value of the type core::unsigned8 to integer (ID: 42217)

• Invalid allocation of variables to the same location (ID: 42320)

• Code generation bug for cut handling in the finally/2 statement (ID: 42371)

Examples

• PIE demo example Help does not work under Vista (ID: 39771)

• ESTA demo example does not work properly under Wndows 2003 Server (ID: 40597)

• PIE example problems (ID: 40599)

• ESTA demo example Help does not work under Vista (ID: 42416)

Integrated Development Environment (IDE)

• List domains with asterisk are displayed as an underscore in Goto declaration/definition (ID: 39861)

• Bugs in the “Insert” functionality (ID: 39973)

• Vip Linker: fatal internal error 7771 (ID: 40057)

• Dump while showing/editing a dialog (.dlg-file) (ID: 40224)

• "Index out of binary limits" Exception in the Image Editor (ID: 40287)

• Exception in the Code Expert (ID: 40290)

• Bug in the list of recently opened projects (ID: 40429)

• Invalid code for a new control (ID: 40832)

• IDE wrongly points somewhere if you doubleclick on an event in the properties table for which the automatically generated code already exist (ID: 40841)

• Dump on a double click on a source control repository (ID: 40941)

• Toolbar Editor: a bug in generated codes (ID: 40980)

• Icon Editor: exception when editing an icon (ID: 41026)

• IDE variables are not case sensitive (ID: 41299)

• "Out of range" exception in the Iimage editor (ID: 41354)

• Some bugs in auto-handling of include directives (ID: 41533)

• The "Reload" dialog does not reload a file (ID: 41538)

• File associations does not work properly (ID: 41593)

• Deleting packages does not work properly (ID: 41633)

• When a new dialog is created, a new package is not added to the project (ID: 41657)

• Dump on right clicking in the project tree for a new and not yet built project (ID: 41658)

• Wrong icons in the "Includes" and "Included in" (ID: 41832)

• A problem with checking out of an open dialog (ID: 41844)

• Bitmaps Editor: draw line, rect and fill do not work properly (ID: 41845)

• Control names are in lower case in "Choose Class Name for Custom Control" dialog (ID: 41846)

• VipBuilder complaints for IDE variables in the mixed case (ID: 41908)

• Wrong icons in the Navigation dialog (ID: 41912)

• Lowercase names in target (exe/dll) and lib files (ID: 41945)

• Incorrect list of predicates in the "Browse Search" dialog (ID: 41994)

• "Go to Declaration" does not work properly for some properties (ID: 42092)

• Access violation exception in the Control Property Editor (ID: 42125)

• Find in files ignores typing return (ID: 42132)

• A problem with a checked-out dialog (ID: 42145)

• Access violation exception on changing focus (ID: 42180)

• Dialog is not saved, when .pro file is read-only (ID: 42360)

Library (PFC)

• groupbox:setText Does Not Set the Text until Invalidated (ID: 36136)

• PFC/GUI performes inaccurate conversions between dialog base units and pixels in some cases (ID: 39868)

• centerTo() predicate works incorrectly for dialogs (ID: 40222)

• A groupbox Can Overlap the Tab Caption (ID: 40332)

• An icon image does not change if icon resource of an icon control is dynamically updated using predicate setIcon (ID: 41027)

• Invalid PFC predicate getWeek/2 from the time package (ID: 41069)

• ANSI console input does not work properly in some cases. (ID: 41378)

• MaxDropDown property of the ListEdit/ListButton control does not work under Vista (ID: 42335)

• It is impossible to navigate through controls by Tab if a dialog/form contains an icon control (ID: 42383)

Runtime Errors

• "Out of range" exception raised by the tryToTerm/1-> built-in predicate (ID: 40435)

• Bug in the PFC predicate outputStream::save/1 (ID: 40662)

• An access violation exception after "Duplicate large block deallocation" Garbage Collector message (ID: 40740)

• Built-in predicate toTerm/1-> does not raise "Out of range" exception on numeric overflow (ID: 41200)

• Codes generation bug for list comprehension can cause an access violation exception at runtime (ID: 41401)

• Memory profiling: there is a lot of unspecified memory for some programs (ID: 42155)

• Bug in formatting small reals (ID: 42392)