HomeIsabelle/Phabricator

Fix Overflow exception packet in Real.toInt in the interpreter. Fixes #164.

Description

Fix Overflow exception packet in Real.toInt in the interpreter. Fixes #164.

Details

Provenance
dcjmAuthored on Tue, Nov 23, 7:50 PM
Parents
rPOLYML610a153b941d: Fix check for 32-bit constants.
Branches
Unknown
Tags
Unknown
References
HEAD -> master