--- /srv/rebuilderd/tmp/rebuilderdGGck4j/inputs/libghc-singletons-prof_3.0.4-1_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdGGck4j/out/libghc-singletons-prof_3.0.4-1_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-01-05 00:33:16.000000 debian-binary │ --rw-r--r-- 0 0 0 1116 2026-01-05 00:33:16.000000 control.tar.xz │ --rw-r--r-- 0 0 0 82060 2026-01-05 00:33:16.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 1112 2026-01-05 00:33:16.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 82080 2026-01-05 00:33:16.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-98d9/singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0/libHSsingletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0_p.a │ │ │ ├── nm --print-armap {} │ │ │ │ @@ -1530,36 +1530,36 @@ │ │ │ │ U ghczmprim_GHCziTypes_ZC_con_info │ │ │ │ U ghczmprim_GHCziTypes_ZMZN_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdConstraint_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdztArrzt_closure │ │ │ │ U ghczmprim_GHCziTypes_krepzdzt_closure │ │ │ │ 0000000000000150 r i5TL_str │ │ │ │ 0000000000000160 r i5TM_str │ │ │ │ -00000000000001b0 r i5Un_str │ │ │ │ -00000000000001c0 r i5Uo_str │ │ │ │ +00000000000001b0 r i5Ux_str │ │ │ │ +00000000000001c0 r i5Uy_str │ │ │ │ +0000000000000298 r i5VV_str │ │ │ │ +00000000000002a8 r i5VW_str │ │ │ │ 0000000000000218 r i5Vt_str │ │ │ │ 0000000000000228 r i5Vu_str │ │ │ │ -0000000000000298 r i5W1_str │ │ │ │ -00000000000002a8 r i5W2_str │ │ │ │ 0000000000000310 r i5WS_str │ │ │ │ 0000000000000320 r i5WT_str │ │ │ │ 0000000000000378 r i5Y0_str │ │ │ │ 0000000000000388 r i5Y1_str │ │ │ │ 0000000000000470 r i5YO_str │ │ │ │ 0000000000000480 r i5YP_str │ │ │ │ 00000000000003f8 r i5Ye_str │ │ │ │ 0000000000000408 r i5Yf_str │ │ │ │ 0000000000000530 r i5ZO_str │ │ │ │ 0000000000000540 r i5ZP_str │ │ │ │ 0000000000000548 r i5ZQ_str │ │ │ │ 00000000000004d0 r i5Zm_str │ │ │ │ 00000000000004e0 r i5Zn_str │ │ │ │ -0000000000000590 r i60k_str │ │ │ │ -00000000000005a0 r i60l_str │ │ │ │ -00000000000005b0 r i60m_str │ │ │ │ +0000000000000590 r i60c_str │ │ │ │ +00000000000005a0 r i60d_str │ │ │ │ +00000000000005b0 r i60e_str │ │ │ │ U pushCostCentre │ │ │ │ U registerCcList │ │ │ │ U registerCcsList │ │ │ │ 0000000000000080 D singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_CAFs_cc │ │ │ │ 00000000000000c0 D singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_CAFs_cc_ccs │ │ │ │ 0000000000000598 D singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_closure │ │ │ │ 00000000000006f8 T singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_con_info │ │ │ ├── Decide.p_o │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -8,28 +8,28 @@ │ │ │ │ │ 4: 0000000000000000 0 SECTION LOCAL DEFAULT 11 .data.rel │ │ │ │ │ 5: 0000000000000000 0 NOTYPE LOCAL DEFAULT 3 $d │ │ │ │ │ 6: 0000000000000000 0 NOTYPE LOCAL DEFAULT 7 $d │ │ │ │ │ 7: 0000000000000150 0 NOTYPE LOCAL DEFAULT 3 i5TL_str │ │ │ │ │ 8: 0000000000000160 0 NOTYPE LOCAL DEFAULT 3 i5TM_str │ │ │ │ │ 9: 0000000000000000 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 10: 0000000000000028 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 11: 00000000000001b0 0 NOTYPE LOCAL DEFAULT 3 i5Un_str │ │ │ │ │ - 12: 00000000000001c0 0 NOTYPE LOCAL DEFAULT 3 i5Uo_str │ │ │ │ │ + 11: 00000000000001b0 0 NOTYPE LOCAL DEFAULT 3 i5Ux_str │ │ │ │ │ + 12: 00000000000001c0 0 NOTYPE LOCAL DEFAULT 3 i5Uy_str │ │ │ │ │ 13: 0000000000000030 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 14: 0000000000000058 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 15: 00000000000000cc 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 16: 00000000000000ec 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 17: 0000000000000154 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 18: 0000000000000174 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 19: 0000000000000218 0 NOTYPE LOCAL DEFAULT 3 i5Vt_str │ │ │ │ │ 20: 0000000000000228 0 NOTYPE LOCAL DEFAULT 3 i5Vu_str │ │ │ │ │ 21: 0000000000000208 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 22: 0000000000000230 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 23: 0000000000000298 0 NOTYPE LOCAL DEFAULT 3 i5W1_str │ │ │ │ │ - 24: 00000000000002a8 0 NOTYPE LOCAL DEFAULT 3 i5W2_str │ │ │ │ │ + 23: 0000000000000298 0 NOTYPE LOCAL DEFAULT 3 i5VV_str │ │ │ │ │ + 24: 00000000000002a8 0 NOTYPE LOCAL DEFAULT 3 i5VW_str │ │ │ │ │ 25: 0000000000000238 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 26: 0000000000000260 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 27: 0000000000000310 0 NOTYPE LOCAL DEFAULT 3 i5WS_str │ │ │ │ │ 28: 0000000000000320 0 NOTYPE LOCAL DEFAULT 3 i5WT_str │ │ │ │ │ 29: 0000000000000268 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 30: 0000000000000290 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 31: 0000000000000304 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ @@ -53,17 +53,17 @@ │ │ │ │ │ 49: 00000000000005a8 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 50: 00000000000005d0 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 51: 0000000000000530 0 NOTYPE LOCAL DEFAULT 3 i5ZO_str │ │ │ │ │ 52: 0000000000000540 0 NOTYPE LOCAL DEFAULT 3 i5ZP_str │ │ │ │ │ 53: 0000000000000548 0 NOTYPE LOCAL DEFAULT 3 i5ZQ_str │ │ │ │ │ 54: 0000000000000658 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 55: 0000000000000680 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ - 56: 0000000000000590 0 NOTYPE LOCAL DEFAULT 3 i60k_str │ │ │ │ │ - 57: 00000000000005a0 0 NOTYPE LOCAL DEFAULT 3 i60l_str │ │ │ │ │ - 58: 00000000000005b0 0 NOTYPE LOCAL DEFAULT 3 i60m_str │ │ │ │ │ + 56: 0000000000000590 0 NOTYPE LOCAL DEFAULT 3 i60c_str │ │ │ │ │ + 57: 00000000000005a0 0 NOTYPE LOCAL DEFAULT 3 i60d_str │ │ │ │ │ + 58: 00000000000005b0 0 NOTYPE LOCAL DEFAULT 3 i60e_str │ │ │ │ │ 59: 00000000000006d0 0 NOTYPE LOCAL DEFAULT 1 $d │ │ │ │ │ 60: 00000000000006f8 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 61: 0000000000000000 0 NOTYPE LOCAL DEFAULT 9 $d │ │ │ │ │ 62: 0000000000000744 0 NOTYPE LOCAL DEFAULT 1 $x │ │ │ │ │ 63: 0000000000000000 0 NOTYPE LOCAL DEFAULT 11 $d │ │ │ │ │ 64: 0000000000000014 0 NOTYPE LOCAL DEFAULT 4 $d │ │ │ │ │ 65: 00000000000005d0 136 FUNC GLOBAL DEFAULT 1 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_info │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.text' at offset 0x3628 contains 105 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000008 0000000700000104 R_AARCH64_PREL64 0000000000000150 i5TL_str - 20 │ │ │ │ │ 0000000000000010 0000000800000104 R_AARCH64_PREL64 0000000000000160 i5TM_str - 18 │ │ │ │ │ 000000000000002c 000000650000011a R_AARCH64_JUMP26 0000000000000000 stg_ap_0_fast + 0 │ │ │ │ │ -0000000000000038 0000000b00000104 R_AARCH64_PREL64 00000000000001b0 i5Un_str - 20 │ │ │ │ │ -0000000000000040 0000000c00000104 R_AARCH64_PREL64 00000000000001c0 i5Uo_str - 18 │ │ │ │ │ +0000000000000038 0000000b00000104 R_AARCH64_PREL64 00000000000001b0 i5Ux_str - 20 │ │ │ │ │ +0000000000000040 0000000c00000104 R_AARCH64_PREL64 00000000000001c0 i5Uy_str - 18 │ │ │ │ │ 0000000000000074 0000005300000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000040 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_HPC_cc + 0 │ │ │ │ │ 0000000000000078 0000005300000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000040 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_HPC_cc + 0 │ │ │ │ │ 0000000000000080 0000007b0000011b R_AARCH64_CALL26 0000000000000000 pushCostCentre + 0 │ │ │ │ │ 000000000000009c 0000000100000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 .text + ec │ │ │ │ │ 00000000000000a0 0000000100000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000000 .text + ec │ │ │ │ │ 00000000000000c8 000000720000011a R_AARCH64_JUMP26 0000000000000000 stg_ap_pp_fast + 0 │ │ │ │ │ 0000000000000104 0000000100000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 .text + 174 │ │ │ │ │ @@ -26,16 +26,16 @@ │ │ │ │ │ 00000000000001cc 0000007e00000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 user_era + 0 │ │ │ │ │ 00000000000001dc 0000004f00000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 ghczminternal_GHCziInternalziDataziTypeziEquality_zdWRefl_closure + 0 │ │ │ │ │ 00000000000001e0 0000004f00000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 ghczminternal_GHCziInternalziDataziTypeziEquality_zdWRefl_closure + 0 │ │ │ │ │ 0000000000000204 0000007d0000011a R_AARCH64_JUMP26 0000000000000000 stg_gc_unpt_r1 + 0 │ │ │ │ │ 0000000000000210 0000001300000104 R_AARCH64_PREL64 0000000000000218 i5Vt_str - 20 │ │ │ │ │ 0000000000000218 0000001400000104 R_AARCH64_PREL64 0000000000000228 i5Vu_str - 18 │ │ │ │ │ 0000000000000230 000000690000011a R_AARCH64_JUMP26 0000000000000058 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_info + 0 │ │ │ │ │ -0000000000000240 0000001700000104 R_AARCH64_PREL64 0000000000000298 i5W1_str - 20 │ │ │ │ │ -0000000000000248 0000001800000104 R_AARCH64_PREL64 00000000000002a8 i5W2_str - 18 │ │ │ │ │ +0000000000000240 0000001700000104 R_AARCH64_PREL64 0000000000000298 i5VV_str - 20 │ │ │ │ │ +0000000000000248 0000001800000104 R_AARCH64_PREL64 00000000000002a8 i5VW_str - 18 │ │ │ │ │ 0000000000000260 000000840000011a R_AARCH64_JUMP26 0000000000000230 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdfTestEqualitykWrappedSingzuzdctestEquality_info + 0 │ │ │ │ │ 0000000000000270 0000001b00000104 R_AARCH64_PREL64 0000000000000310 i5WS_str - 20 │ │ │ │ │ 0000000000000278 0000001c00000104 R_AARCH64_PREL64 0000000000000320 i5WT_str - 18 │ │ │ │ │ 00000000000002ac 0000005800000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideCoercion_HPC_cc + 0 │ │ │ │ │ 00000000000002b0 0000005800000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideCoercion_HPC_cc + 0 │ │ │ │ │ 00000000000002b8 0000007b0000011b R_AARCH64_CALL26 0000000000000000 pushCostCentre + 0 │ │ │ │ │ 00000000000002d4 0000000100000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 .text + 324 │ │ │ │ │ @@ -91,17 +91,17 @@ │ │ │ │ │ 0000000000000658 0000003500000104 R_AARCH64_PREL64 0000000000000548 i5ZQ_str - 28 │ │ │ │ │ 0000000000000660 0000003300000104 R_AARCH64_PREL64 0000000000000530 i5ZO_str - 20 │ │ │ │ │ 0000000000000668 0000003400000104 R_AARCH64_PREL64 0000000000000540 i5ZP_str - 18 │ │ │ │ │ 0000000000000680 0000007600000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0 │ │ │ │ │ 0000000000000684 0000007600000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0 │ │ │ │ │ 00000000000006a4 0000007600000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0 │ │ │ │ │ 00000000000006a8 0000007600000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0 │ │ │ │ │ -00000000000006d0 0000003a00000104 R_AARCH64_PREL64 00000000000005b0 i60m_str - 28 │ │ │ │ │ -00000000000006d8 0000003800000104 R_AARCH64_PREL64 0000000000000590 i60k_str - 20 │ │ │ │ │ -00000000000006e0 0000003900000104 R_AARCH64_PREL64 00000000000005a0 i60l_str - 18 │ │ │ │ │ +00000000000006d0 0000003a00000104 R_AARCH64_PREL64 00000000000005b0 i60e_str - 28 │ │ │ │ │ +00000000000006d8 0000003800000104 R_AARCH64_PREL64 0000000000000590 i60c_str - 20 │ │ │ │ │ +00000000000006e0 0000003900000104 R_AARCH64_PREL64 00000000000005a0 i60d_str - 18 │ │ │ │ │ 00000000000006f8 0000007600000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0 │ │ │ │ │ 00000000000006fc 0000007600000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0 │ │ │ │ │ 000000000000071c 0000007600000137 R_AARCH64_ADR_GOT_PAGE 0000000000000000 era + 0 │ │ │ │ │ 0000000000000720 0000007600000138 R_AARCH64_LD64_GOT_LO12_NC 0000000000000000 era + 0 │ │ │ │ │ 0000000000000750 0000000400000113 R_AARCH64_ADR_PREL_PG_HI21 0000000000000000 .data.rel + 0 │ │ │ │ │ 0000000000000754 0000000400000115 R_AARCH64_ADD_ABS_LO12_NC 0000000000000000 .data.rel + 0 │ │ │ │ │ 000000000000075c 000000860000011b R_AARCH64_CALL26 0000000000000000 registerCcList + 0 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -9,58 +9,58 @@ │ │ │ │ │ 'Disproved │ │ │ │ │ Decision │ │ │ │ │ Data.Singletons.Decide │ │ │ │ │ singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0 │ │ │ │ │ ->>Decision │ │ │ │ │ │ │ │ │ │ ->>Maybe │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ ->>Maybe │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ TestEquality │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ ->>Maybe │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ ->>Maybe │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ TestCoercion │ │ │ │ │ │ │ │ │ │ ->Decision │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ ->Decision │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ Decision │ │ │ │ │ singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0:Data.Singletons.Decide.Proved │ │ │ │ │ Decision │ │ │ │ │ Disproved │ │ │ │ │ singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0:Data.Singletons.Decide.Disproved │ │ │ │ │ i5TL_str │ │ │ │ │ i5TM_str │ │ │ │ │ -i5Un_str │ │ │ │ │ -i5Uo_str │ │ │ │ │ +i5Ux_str │ │ │ │ │ +i5Uy_str │ │ │ │ │ i5Vt_str │ │ │ │ │ i5Vu_str │ │ │ │ │ -i5W1_str │ │ │ │ │ -i5W2_str │ │ │ │ │ +i5VV_str │ │ │ │ │ +i5VW_str │ │ │ │ │ i5WS_str │ │ │ │ │ i5WT_str │ │ │ │ │ i5Y0_str │ │ │ │ │ i5Y1_str │ │ │ │ │ i5Ye_str │ │ │ │ │ i5Yf_str │ │ │ │ │ i5YO_str │ │ │ │ │ i5YP_str │ │ │ │ │ i5Zm_str │ │ │ │ │ i5Zn_str │ │ │ │ │ i5ZO_str │ │ │ │ │ i5ZP_str │ │ │ │ │ i5ZQ_str │ │ │ │ │ -i60k_str │ │ │ │ │ -i60l_str │ │ │ │ │ -i60m_str │ │ │ │ │ +i60c_str │ │ │ │ │ +i60d_str │ │ │ │ │ +i60e_str │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_info │ │ │ │ │ ghczmprim_GHCziTypes_krepzdztArrzt_closure │ │ │ │ │ ghczmprim_GHCziTypes_KindRepTyConApp_con_info │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure │ │ │ │ │ ghczminternal_GHCziInternalziMaybe_Just_con_info │ │ │ │ │ ghczmprim_GHCziTypes_krepzdConstraint_closure │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -16,16 +16,16 @@ │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zvz7eU_info(): │ │ │ │ │ mov x22, x23 │ │ │ │ │ b 0 │ │ │ │ │ R_AARCH64_JUMP26 stg_ap_0_fast │ │ │ │ │ .word 0x00000017 │ │ │ │ │ .word 0x00000003 │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i5Un_str-0x20 │ │ │ │ │ - R_AARCH64_PREL64 i5Uo_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5Ux_str-0x20 │ │ │ │ │ + R_AARCH64_PREL64 i5Uy_str-0x18 │ │ │ │ │ .word 0x0000000e │ │ │ │ │ .word 0x00000000 │ │ │ │ │ │ │ │ │ │ 0000000000000058 : │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_info(): │ │ │ │ │ sub x18, x20, #0x10 │ │ │ │ │ cmp x18, x28 │ │ │ │ │ @@ -162,16 +162,16 @@ │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdfTestEqualitykWrappedSingzuzdctestEquality_info(): │ │ │ │ │ b 58 │ │ │ │ │ R_AARCH64_JUMP26 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_info │ │ │ │ │ nop │ │ │ │ │ .word 0x00000017 │ │ │ │ │ .word 0x00000003 │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i5W1_str-0x20 │ │ │ │ │ - R_AARCH64_PREL64 i5W2_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i5VV_str-0x20 │ │ │ │ │ + R_AARCH64_PREL64 i5VW_str-0x18 │ │ │ │ │ .word 0x0000000e │ │ │ │ │ .word 0x00000000 │ │ │ │ │ │ │ │ │ │ 0000000000000260 : │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdfTestEqualitykWrappedSing_info(): │ │ │ │ │ b 230 │ │ │ │ │ R_AARCH64_JUMP26 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdfTestEqualitykWrappedSingzuzdctestEquality_info │ │ │ │ │ @@ -483,17 +483,17 @@ │ │ │ │ │ ...R_...I..T..@. │ │ │ │ │ Rvb.....1.@.1.@. │ │ │ │ │ R_AARCH64_ADR_GOT_PAGE era │ │ │ │ │ R_AARCH64_LD64_GOT_LO12_NC era │ │ │ │ │ 1~@.1.D.R....... │ │ │ │ │ ......@.@.... .. │ │ │ │ │ ... │ │ │ │ │ - R_AARCH64_PREL64 i60m_str-0x28 │ │ │ │ │ - R_AARCH64_PREL64 i60k_str-0x20 │ │ │ │ │ - R_AARCH64_PREL64 i60l_str-0x18 │ │ │ │ │ + R_AARCH64_PREL64 i60e_str-0x28 │ │ │ │ │ + R_AARCH64_PREL64 i60c_str-0x20 │ │ │ │ │ + R_AARCH64_PREL64 i60d_str-0x18 │ │ │ │ │ ................ │ │ │ │ │ │ │ │ │ │ 00000000000006f8 : │ │ │ │ │ ....R.@.R.@.R~@. │ │ │ │ │ R_AARCH64_ADR_GOT_PAGE era │ │ │ │ │ R_AARCH64_LD64_GOT_LO12_NC era │ │ │ │ │ ...R_...I..T..@. │ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {} │ │ │ │ │ @@ -14,29 +14,29 @@ │ │ │ │ │ [ f8] 'Proved │ │ │ │ │ [ 100] Decision │ │ │ │ │ [ 110] Data.Singletons.Decide │ │ │ │ │ [ 128] singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0 │ │ │ │ │ [ 150] ->>Decision │ │ │ │ │ [ 160] │ │ │ │ │ [ 1b0] ->>Maybe │ │ │ │ │ - [ 1c0] │ │ │ │ │ + [ 1c0] │ │ │ │ │ [ 218] ->>Maybe │ │ │ │ │ - [ 228] │ │ │ │ │ + [ 228] │ │ │ │ │ [ 298] TestEquality │ │ │ │ │ - [ 2a8] │ │ │ │ │ + [ 2a8] │ │ │ │ │ [ 310] ->>Maybe │ │ │ │ │ - [ 320] │ │ │ │ │ + [ 320] │ │ │ │ │ [ 378] ->>Maybe │ │ │ │ │ - [ 388] │ │ │ │ │ + [ 388] │ │ │ │ │ [ 3f8] TestCoercion │ │ │ │ │ [ 408] │ │ │ │ │ [ 470] ->Decision │ │ │ │ │ - [ 480] │ │ │ │ │ + [ 480] │ │ │ │ │ [ 4d0] ->Decision │ │ │ │ │ - [ 4e0] │ │ │ │ │ + [ 4e0] │ │ │ │ │ [ 530] Decision │ │ │ │ │ [ 540] Proved │ │ │ │ │ [ 548] singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0:Data.Singletons.Decide.Proved │ │ │ │ │ [ 590] Decision │ │ │ │ │ [ 5a0] Disproved │ │ │ │ │ [ 5b0] singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0:Data.Singletons.Decide.Disproved │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -1,23 +1,23 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.strtab': │ │ │ │ │ 0x00000000 00246400 6935544c 5f737472 00693554 .$d.i5TL_str.i5T │ │ │ │ │ - 0x00000010 4d5f7374 72002478 00693555 6e5f7374 M_str.$x.i5Un_st │ │ │ │ │ - 0x00000020 72006935 556f5f73 74720069 3556745f r.i5Uo_str.i5Vt_ │ │ │ │ │ - 0x00000030 73747200 69355675 5f737472 00693557 str.i5Vu_str.i5W │ │ │ │ │ - 0x00000040 315f7374 72006935 57325f73 74720069 1_str.i5W2_str.i │ │ │ │ │ + 0x00000010 4d5f7374 72002478 00693555 785f7374 M_str.$x.i5Ux_st │ │ │ │ │ + 0x00000020 72006935 55795f73 74720069 3556745f r.i5Uy_str.i5Vt_ │ │ │ │ │ + 0x00000030 73747200 69355675 5f737472 00693556 str.i5Vu_str.i5V │ │ │ │ │ + 0x00000040 565f7374 72006935 56575f73 74720069 V_str.i5VW_str.i │ │ │ │ │ 0x00000050 3557535f 73747200 69355754 5f737472 5WS_str.i5WT_str │ │ │ │ │ 0x00000060 00693559 305f7374 72006935 59315f73 .i5Y0_str.i5Y1_s │ │ │ │ │ 0x00000070 74720069 3559655f 73747200 69355966 tr.i5Ye_str.i5Yf │ │ │ │ │ 0x00000080 5f737472 00693559 4f5f7374 72006935 _str.i5YO_str.i5 │ │ │ │ │ 0x00000090 59505f73 74720069 355a6d5f 73747200 YP_str.i5Zm_str. │ │ │ │ │ 0x000000a0 69355a6e 5f737472 0069355a 4f5f7374 i5Zn_str.i5ZO_st │ │ │ │ │ 0x000000b0 72006935 5a505f73 74720069 355a515f r.i5ZP_str.i5ZQ_ │ │ │ │ │ - 0x000000c0 73747200 6936306b 5f737472 00693630 str.i60k_str.i60 │ │ │ │ │ - 0x000000d0 6c5f7374 72006936 306d5f73 74720073 l_str.i60m_str.s │ │ │ │ │ + 0x000000c0 73747200 69363063 5f737472 00693630 str.i60c_str.i60 │ │ │ │ │ + 0x000000d0 645f7374 72006936 30655f73 74720073 d_str.i60e_str.s │ │ │ │ │ 0x000000e0 696e676c 65746f6e 737a6d33 7a69307a ingletonszm3zi0z │ │ │ │ │ 0x000000f0 69347a6d 46326252 30336767 79504833 i4zmF2bR03ggyPH3 │ │ │ │ │ 0x00000100 514f757a 7a4f4d50 4648305f 44617461 QOuzzOMPFH0_Data │ │ │ │ │ 0x00000110 7a695369 6e676c65 746f6e73 7a694465 ziSingletonsziDe │ │ │ │ │ 0x00000120 63696465 5f446973 70726f76 65645f69 cide_Disproved_i │ │ │ │ │ 0x00000130 6e666f00 6768637a 6d707269 6d5f4748 nfo.ghczmprim_GH │ │ │ │ │ 0x00000140 437a6954 79706573 5f6b7265 707a647a CziTypes_krepzdz │ │ │ ├── ShowSing.p_o │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -5,23 +5,23 @@ │ │ │ │ │ 'C:ShowSing' │ │ │ │ │ ShowSing' │ │ │ │ │ Data.Singletons.ShowSing │ │ │ │ │ singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0 │ │ │ │ │ WrapSing {unwrapSing = │ │ │ │ │ SWrapSing {sUnwrapSing = │ │ │ │ │ ShowSing' │ │ │ │ │ - │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ + │ │ │ │ │ │ │ │ │ │ ShowSing' │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ ShowSing' │ │ │ │ │ │ │ │ │ │ ShowSing │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ │ │ │ │ │ ->String │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ @@ -37,37 +37,37 @@ │ │ │ │ │ ->String │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ->String │ │ │ │ │ │ │ │ │ │ ->>ShowS │ │ │ │ │ │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ │ │ │ │ │ ->String │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ->>ShowS │ │ │ │ │ │ │ │ │ │ ->>ShowS │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ ->String │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ->String │ │ │ │ │ │ │ │ │ │ ->>ShowS │ │ │ │ │ │ │ │ │ │ - │ │ │ │ │ + │ │ │ │ │ i63J_str │ │ │ │ │ i63K_str │ │ │ │ │ i63X_str │ │ │ │ │ i63Y_str │ │ │ │ │ i64f_str │ │ │ │ │ i64g_str │ │ │ │ │ i64A_str │ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {} │ │ │ │ │ @@ -9,25 +9,25 @@ │ │ │ │ │ [ 68] ShowSing' │ │ │ │ │ [ 78] Data.Singletons.ShowSing │ │ │ │ │ [ 98] singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0 │ │ │ │ │ [ c0] WrapSing {unwrapSing = │ │ │ │ │ [ d8] } │ │ │ │ │ [ e0] SWrapSing {sUnwrapSing = │ │ │ │ │ [ 100] ShowSing' │ │ │ │ │ - [ 110] │ │ │ │ │ + [ 110] │ │ │ │ │ [ 168] Show │ │ │ │ │ - [ 170] │ │ │ │ │ + [ 170] │ │ │ │ │ [ 1c8] Show │ │ │ │ │ [ 1d0] │ │ │ │ │ [ 238] ShowSing' │ │ │ │ │ - [ 248] │ │ │ │ │ + [ 248] │ │ │ │ │ [ 2a0] ShowSing' │ │ │ │ │ [ 2b0] │ │ │ │ │ [ 318] ShowSing │ │ │ │ │ - [ 328] │ │ │ │ │ + [ 328] │ │ │ │ │ [ 380] Show │ │ │ │ │ [ 388] │ │ │ │ │ [ 3d8] ->String │ │ │ │ │ [ 3e8] │ │ │ │ │ [ 438] List │ │ │ │ │ [ 440] │ │ │ │ │ [ 490] String │ │ │ │ │ @@ -55,15 +55,15 @@ │ │ │ │ │ [ 8b8] ->ShowS │ │ │ │ │ [ 8c0] │ │ │ │ │ [ 910] ->String │ │ │ │ │ [ 920] │ │ │ │ │ [ 970] ->>ShowS │ │ │ │ │ [ 980] │ │ │ │ │ [ 9d0] Show │ │ │ │ │ - [ 9d8] │ │ │ │ │ + [ 9d8] │ │ │ │ │ [ a38] Show │ │ │ │ │ [ a40] │ │ │ │ │ [ a90] ->String │ │ │ │ │ [ aa0] │ │ │ │ │ [ af0] String │ │ │ │ │ [ af8] │ │ │ │ │ [ b48] ->List │ │ │ │ │ @@ -73,23 +73,23 @@ │ │ │ │ │ [ bf8] List │ │ │ │ │ [ c00] │ │ │ │ │ [ c50] ->List │ │ │ │ │ [ c58] │ │ │ │ │ [ ca8] ->>ShowS │ │ │ │ │ [ cb8] │ │ │ │ │ [ d08] ->>ShowS │ │ │ │ │ - [ d18] │ │ │ │ │ + [ d18] │ │ │ │ │ [ d78] ->String │ │ │ │ │ [ d88] │ │ │ │ │ [ df0] ->ShowS │ │ │ │ │ [ df8] │ │ │ │ │ [ e48] ->ShowS │ │ │ │ │ [ e50] │ │ │ │ │ [ eb8] ->ShowS │ │ │ │ │ [ ec0] │ │ │ │ │ [ f10] ->String │ │ │ │ │ [ f20] │ │ │ │ │ [ f70] ->>ShowS │ │ │ │ │ [ f80] │ │ │ │ │ [ fd0] Show │ │ │ │ │ - [ fd8] │ │ │ │ │ + [ fd8]