[Axiom-developer] Axiom unsoundness

[Gabriel Dos Reis]

Waldek Hebisch <address@hidden> writes:

[...]

| All this is based on system trace.  AFAICS when AXIOMsys runs
| standalone there is no select loop.  I tried to give "(1) ->\n"
| and then ^C to standalone AXIOMsys -- the trace looks quite similar
| but AXIOMsys produces reasonable error messages.  Still, giving a
| few bad inputs interspesed with ^C, I was able to generate:
| 
|    >> System error:
|    Caught fatal error [memory may be damaged]

I've been running into this "memory may be damaged" stuff very often
these days ]with students, everything is possible :-)].  Most of them
happens on invalid syntax and such.  The system should be more
resilient should not corrupt memory just because of syntax errors and
such.

-- Gaby