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
+8

I 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.