Closed mtzguido closed 2 months ago
This printing was failing to recognize machine integer constants (i.e. applications of __uint_to_t when either the head or argument was uncompressed).
This printing was failing to recognize machine integer constants (i.e. applications of __uint_to_t when either the head or argument was uncompressed).