Changed the storable mechanism so that we do not store POINTER objects with their value, instead we store a NULL value. As a consequence it is safe to store on disk objects that have references to C objects. Upon retrieval those references will be equal to default_pointer. This is now the default behavior, if someone wants to have the previous behavior, simply call set_keep_pointer_value from STORABLE.

Improvements

New run-time speed improvement (between 30 to 100% faster than the 4.5 release).

Compiler that is much faster (between 200 and 300% faster than 4.5).

Compiler now detects unused local variables (at freeze/finalize time only)

Bug fixes

Compiler now fixes incrementality issues with frozen/melted code.

Degree 4/Degree 3 crash on *_SERVER when doing an incremental recompilation has been fixed.

Fixed crash when using creation expression that includes a feature call.

Fixed creation of an ARRAY of BIT type.

CHARACTER has been extended to support the extended ASCII which means that the following expressions are now True instead of being False as it was in our previous version:

'%/127/' < '%/128/

'%/127/' < '%/128/

When using independent_store, in case of retrieval error due to a name change in one of the class attributes we will display the original attribute name that was used to make the storable file. This will help when managing many storable files.