HomeIsabelle/Phabricator

Change type of touchClosure to 'a closure -> unit. Allow "load" in the…

Description

Change type of touchClosure to 'a closure -> unit. Allow "load" in the cFunction conversion to convert a closure
into an address.

Details

Provenance
dcjmAuthored on Feb 22 2021, 1:21 PM
Parents
rPOLYML2c090e1e8175: Print the exception if an ML callback raises an exception.
Branches
Unknown
Tags
Unknown