The differences are in the compiled binary: diffoscope --exclude-command stat /gnu/store/w69pw5xmkix5ga0vqh0q637p1dwsldk5-cedille-1.1.2{,-check} --- /gnu/store/w69pw5xmkix5ga0vqh0q637p1dwsldk5-cedille-1.1.2 +++ /gnu/store/w69pw5xmkix5ga0vqh0q637p1dwsldk5-cedille-1.1.2-check ├── bin │ ├── cedille │ │ ├── /gnu/store/mx2bgrpxkbdjsmhlxp9a30hbzcilk4cn-binutils-2.32/bin/readelf --wide --symbols {} │ │ │ @@ -72099,15 +72099,15 @@ │ │ │ 71670: 0000000000a16208 0 OBJECT GLOBAL DEFAULT 23 CedilleLexer_alexzucheck220_closure │ │ │ 71671: 0000000000b6b900 0 OBJECT GLOBAL DEFAULT 23 Templates_templateMendler3710_closure │ │ │ 71672: 0000000000a74410 0 OBJECT GLOBAL DEFAULT 23 CedilleParser_happyExpList3297_closure │ │ │ 71673: 0000000000939038 11 OBJECT GLOBAL DEFAULT 13 MAlonzzoziCodeziQinteractiveZZ45ZZcmds_d1932_info │ │ │ 71674: 00000000005724d8 74 OBJECT GLOBAL DEFAULT 13 CedilleParser_actionzu424_info │ │ │ 71675: 0000000000571e78 74 OBJECT GLOBAL DEFAULT 13 CedilleParser_actionzu461_info │ │ │ 71676: 00000000009defc8 0 OBJECT GLOBAL DEFAULT 23 CedilleLexer_alexzucheck7278_closure │ │ │ - 71677: 00000000009c077f 0 OBJECT GLOBAL DEFAULT 15 Templates_templateMendlerSimple3189_bytes │ │ │ + 71677: 00000000009b7ac1 0 OBJECT GLOBAL DEFAULT 15 Templates_templateMendlerSimple3189_bytes │ │ │ 71678: 0000000000a82bd0 0 OBJECT GLOBAL DEFAULT 23 CedilleParser_happyExpList1356_closure │ │ │ 71679: 0000000000ae56c8 0 OBJECT GLOBAL DEFAULT 23 CedilleOptionsLexer_alexzutable235_closure │ │ │ 71680: 0000000000a16ce8 0 OBJECT GLOBAL DEFAULT 23 CedilleLexer_alexzucheck133_closure │ │ │ 71681: 0000000000a79b50 0 OBJECT GLOBAL DEFAULT 23 CedilleParser_happyExpList2512_closure │ │ │ 71682: 0000000000adc048 0 OBJECT GLOBAL DEFAULT 23 CedilleOptionsLexer_alexzutable1439_closure │ │ │ 71683: 00000000005ec448 76 OBJECT GLOBAL DEFAULT 13 MAlonzzoziCodeziQio_name34_info │ │ │ 71684: 0000000000ae2368 0 OBJECT GLOBAL DEFAULT 23 CedilleOptionsLexer_alexzutable646_closure │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --section=.text {} │ │ │ @@ -893826,15 +893826,15 @@ │ │ │ ... │ │ │ 8736b8: 15 00 00 00 08 5c 2b 00 .....\+. │ │ │ │ │ │ 00000000008736c0 : │ │ │ 8736c0: 48 8d 45 f0 4c 39 f8 72 3f 48 83 ec 08 4c 89 e8 H.E.L9.r?H...L.. │ │ │ 8736d0: 48 89 de 48 89 c7 31 c0 e8 93 29 c9 ff 48 83 c4 H..H..1...)..H.. │ │ │ 8736e0: 08 48 85 c0 74 20 48 8b 1d f3 f2 14 00 48 89 5d .H..t H......H.] │ │ │ - 8736f0: f0 48 89 45 f8 4c 8d 35 83 d0 14 00 48 83 c5 f0 .H.E.L.5....H... │ │ │ + 8736f0: f0 48 89 45 f8 4c 8d 35 c5 43 14 00 48 83 c5 f0 .H.E.L.5.C..H... │ │ │ 873700: ff 25 f2 f8 14 00 ff 23 41 ff 65 f0 0f 1f 40 00 .%.....#A.e...@. │ │ │ ... │ │ │ 873718: 15 00 00 00 a8 5b 2b 00 .....[+. │ │ │ │ │ │ 0000000000873720 : │ │ │ 873720: 48 8d 45 f0 4c 39 f8 72 3f 48 83 ec 08 4c 89 e8 H.E.L9.r?H...L.. │ │ │ 873730: 48 89 de 48 89 c7 31 c0 e8 33 29 c9 ff 48 83 c4 H..H..1..3)..H.. │ │ ├── /gnu/store/mx2bgrpxkbdjsmhlxp9a30hbzcilk4cn-binutils-2.32/bin/readelf --wide --decompress --hex-dump=.rodata {} │ │ │ @@ -8819,16 +8819,16 @@ │ │ │ 0x009c0700 616d6520 6f66206f 6e652066 696c6520 ame of one file │ │ │ 0x009c0710 746f2070 726f6365 73732c20 6f722072 to process, or r │ │ │ 0x009c0720 756e2077 69746820 6e6f2063 6f6d6d61 un with no comma │ │ │ 0x009c0730 6e642d6c 696e6520 61726775 6d656e74 nd-line argument │ │ │ 0x009c0740 7320616e 6420656e 74657220 7468650a s and enter the. │ │ │ 0x009c0750 00537461 72746564 20436564 696c6c65 .Started Cedille │ │ │ 0x009c0760 2070726f 63657373 2028636f 6d70696c process (compil │ │ │ - 0x009c0770 65642061 743a2000 31353834 36333035 ed at: .15846305 │ │ │ - 0x009c0780 3339006d 61696e3a 4d416c6f 6e7a6f2e 39.main:MAlonzo. │ │ │ + 0x009c0770 65642061 743a2000 31353834 36333033 ed at: .15846303 │ │ │ + 0x009c0780 3835006d 61696e3a 4d416c6f 6e7a6f2e 85.main:MAlonzo. │ │ │ 0x009c0790 436f6465 2e516d61 696e2e43 31373934 Code.Qmain.C1794 │ │ │ 0x009c07a0 00000000 00000000 7eebfbff 00000000 ........~....... │ │ │ 0x009c07b0 66edfbff 00000000 95edfbff 00000000 f............... │ │ │ 0x009c07c0 c8edfbff 00000000 fbedfbff 00000000 ................ │ │ │ 0x009c07d0 2eeefbff 00000000 61eefbff 00000000 ........a....... │ │ │ 0x009c07e0 0ef0fbff 00000000 ........