C.3 ECLiPSe Fatal Errors
A fatal error cannot be caught by the user.
When they occur, the system performs a warm restart.
The following fatal errors may be generated by ECLiPSe:
-
*** Fatal error: Out of memory - no more swap space
-
The available memory (usually swap space) on the computer has been used up
either by the application or some external process.
- *** Fatal error: Internal error - memory corrupted
-
This signals an inconsistency in the system’s internal data structures.
The reason can be either a bug in the ECLiPSe system itself or in an
external predicate provided by the user.