T10272 fails on ARMv7 CI
T10272 fails on ARMv7 CI:
--- hsc2hs/T10272.run/T10272.stdout-ws-32.normalised 2019-12-07 08:33:24.968084873 +0000
+++ hsc2hs/T10272.run/T10272.run.stdout.normalised 2019-12-07 08:33:24.968084873 +0000
@@ -1 +1 @@
-4
+8I suspect that this happens because we are running the ARMv7 binary on an AArch64 machine, consequently the word size of the hardware does not match the word size of the test.