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