HomeIsabelle/Phabricator

Print the exception if an ML callback raises an exception.

Description

Print the exception if an ML callback raises an exception.

Details

Provenance
dcjmAuthored on Mon, Feb 22, 12:04 PM
Parents
rPOLYMLa07c58e9a829: Fix shift constants. They did not take account of the tag shift.
Branches
Unknown
Tags
Unknown