Port the interworking interface to x86
In CodeSharing, the infprimes
example works, functions
not yet. I have not yet tried GraphTest.
To do:
-
CodeSharing, functions
-
GraphTest -
Copying DREAL
back and forth on both x86 and x64 Clean -
Copying DREAL
arrays back and forth on both x86 and x64 Clean -
Tests
It is not currently possible to interwork 64-bit ABC code with 32-bit Clean or vice versa. The problem is that GraphCopy (even with names) depends on the bitwidth. GraphCopy can solve this in two ways:
- Functions to convert a 32-bit graph-as-a-string to a 64-bit graph-as-a-string (and vice versa). The main difficulty here is that Real constants should be 64-bit on both platforms. For
REAL
nodes that's easy; for records with unboxed Reals it is possible (through the type string) but more difficult. - An option to ensure that GraphCopy on 32-bit systems gives a 64-bit string as output.
Edited by Clean Importer