[ Reference Manual | Alphabetic Index ]

library(eclipse_6)

Compatibility definitions for ECLiPSe 6.X   [more]

Predicates

collection_to_list(?, ?)
No description available
select(?, ?, ?)
No description available
subscript(?, ?, ?)
No description available
term_variables(?, ?)
No description available

Other Exports

export syntax_option(not based_bignums)
export chtab(96, symbol)

Description

This library is meant to help with problems that might occur when migrating an application from ECLiPSe 6.x to 7.x by reverting some changes that were introduced. It provides:

The library can be loaded at the beginning of a source module using
    :- lib(eclipse_6).
    
It should only be used as a temporary solution, please update your application code, or copy the specific workaround from the source of this library.

About


Generated from eclipse_6.eci on 2022-09-03 14:26