Support Reals in functions converting between 32-bit and 64-bit serialized graphs
Prelinked interpretation (wasm) is always 64-bit, so when communicating with a prelinked interpreter from 32-bit Clean we need functions to convert a 32-bit GraphCopy representation to a 64-bit one and vice versa. !124 (merged) adds these, but
Real values are not supported yet. These need to be added to
copy in both
fixup_64_graph. There are four cases:
REAL. These are easy; they are already recognized.
- Records with unboxed
Realvalues. We need to look in the type string to find the
- Unboxed arrays of records like that.
See also clean-libraries#4.
|Records with unboxed
|Unboxed arrays of such records|