HomeIsabelle/Phabricator

Fix LargeWord.fromInt for negative arguments

Description

Fix LargeWord.fromInt for negative arguments

Without IntInf as Int, conversion from int to large word is via word.
Word.wordSize < LargeWord.wordSize so conversion from word to large word
should sign extend.

Details

Provenance
Phil Clayton <phil.clayton@veonix.com>Authored on Jun 28 2020, 1:41 AM
Parents
rPOLYMLacfd07bf45a1: Support the "touch" built-in in the interpreter. c.f. ed4fbb81
Branches
Unknown
Tags
Unknown
References
refs/pull/135/head

Event Timeline