-
Simon Peyton Jones authored
The test is a bit crude; -ddump-simpl | grep '#'. I'm concerned that the -ddump-simpl output may differ on 32 and 64-bit platforms. So far I've only put in output for 64-bit platforms.
ea6dcef1
The test is a bit crude; -ddump-simpl | grep '#'. I'm concerned that the -ddump-simpl output may differ on 32 and 64-bit platforms. So far I've only put in output for 64-bit platforms.