(name . bug-guix)(address . bug-guix@gnu.org)
87blosjr7w.fsf@gmail.com
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 <Templates_templateMendlerSimple3188_info>:
? ? ? 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 <Templates_templateMendlerSimple3185_info>:
? ? ? 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 ........