Changes between Version 24 and Version 25 of Ticket #9640


Ignore:
Timestamp:
11/01/13 22:01:39 (8 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9640 – Description

    v24 v25  
    1010- Use {{{cb_pari_handle_exception()}}} instead of {{{err_catch()}}} to catch PARI exceptions.
    1111
    12 - Using a mechanism similar to #9636, catch the full text of the exception and pass it to {{{PariError}}}.  (It is not printed automatically, but can be accessed via `PariError.errtext()`.)
     12- Using a mechanism similar to #9636, catch the full text of the exception and pass it to {{{PariError}}}.
    1313
    1414Apply: [attachment:9640-pari_error_callbacks_v2.patch]