--- /srv/rebuilderd/tmp/rebuilderdbsjhS5/inputs/libghc-singletons-dev_3.0.4-1_riscv64.deb +++ /srv/rebuilderd/tmp/rebuilderdbsjhS5/out/libghc-singletons-dev_3.0.4-1_riscv64.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 1320 2026-01-05 00:33:16.000000 control.tar.xz │ --rw-r--r-- 0 0 0 101972 2026-01-05 00:33:16.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 101848 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/riscv64-linux-ghc-9.10.3-98d9/singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0/libHSsingletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0.a │ │ │ ├── nm --print-armap {} │ │ │ │ @@ -1549,16 +1549,16 @@ │ │ │ │ U stg_ap_pppppp_fast │ │ │ │ U stg_ap_pv_fast │ │ │ │ U stg_gc_noregs │ │ │ │ U stg_gc_unpt_r1 │ │ │ │ U stg_upd_frame_info │ │ │ │ │ │ │ │ Decide.o: │ │ │ │ -0000000000000090 t c8l3_info$def │ │ │ │ -0000000000000120 t c8le_info$def │ │ │ │ +0000000000000090 t c8kV_info$def │ │ │ │ +0000000000000120 t c8l6_info$def │ │ │ │ 0000000000000262 t c8nA_info$def │ │ │ │ 000000000000030c t c8nL_info$def │ │ │ │ U ghczminternal_GHCziInternalziBase_zdtcVoid_closure │ │ │ │ U ghczminternal_GHCziInternalziDataziTypeziCoercion_Coercion_con_info │ │ │ │ U ghczminternal_GHCziInternalziDataziTypeziEquality_zdWRefl_closure │ │ │ │ U ghczminternal_GHCziInternalziMaybe_Just_con_info │ │ │ │ U ghczminternal_GHCziInternalziMaybe_Nothing_closure │ │ │ │ @@ -1572,19 +1572,19 @@ │ │ │ │ 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 │ │ │ │ 0000000000000000 r i8s3_str$def │ │ │ │ 0000000000000000 r i8se_str$def │ │ │ │ -0000000000000000 d r8h8_closure$def │ │ │ │ -0000000000000000 d r8h9_closure$def │ │ │ │ -0000000000000000 d r8ha_closure$def │ │ │ │ -0000000000000000 d r8hb_closure$def │ │ │ │ 0000000000000000 d r8hc_closure$def │ │ │ │ +0000000000000000 d r8hd_closure$def │ │ │ │ +0000000000000000 d r8he_closure$def │ │ │ │ +0000000000000000 d r8hf_closure$def │ │ │ │ +0000000000000000 d r8hg_closure$def │ │ │ │ 0000000000000000 D singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_closure │ │ │ │ 0000000000000000 d singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_closure$def │ │ │ │ 00000000000004f0 T singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_con_info │ │ │ │ 00000000000004f0 T singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_con_info$def │ │ │ │ 0000000000000474 T singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_info │ │ │ │ 0000000000000474 T singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Disproved_info$def │ │ │ │ 0000000000000000 D singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_Proved_closure │ │ │ ├── Decide.o │ │ │ │ ├── readelf --wide --sections {} │ │ │ │ │ @@ -29,30 +29,30 @@ │ │ │ │ │ [24] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdfTestCoercionkWrappedSing_closure$def RELA 0000000000000000 004980 000018 18 I 71 23 8 │ │ │ │ │ [25] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule3_closure$def PROGBITS 0000000000000000 0005e0 000010 00 WAR 0 0 8 │ │ │ │ │ [26] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule3_closure$def RELA 0000000000000000 004998 000030 18 I 71 25 8 │ │ │ │ │ [27] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule1_closure$def PROGBITS 0000000000000000 0005f0 000010 00 WAR 0 0 8 │ │ │ │ │ [28] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule1_closure$def RELA 0000000000000000 0049c8 000030 18 I 71 27 8 │ │ │ │ │ [29] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def PROGBITS 0000000000000000 000600 000020 00 WAR 0 0 8 │ │ │ │ │ [30] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def RELA 0000000000000000 0049f8 000048 18 I 71 29 8 │ │ │ │ │ - [31] .data.r8h8_closure$def PROGBITS 0000000000000000 000620 000020 00 WAR 0 0 8 │ │ │ │ │ - [32] .rela.data.r8h8_closure$def RELA 0000000000000000 004a40 000048 18 I 71 31 8 │ │ │ │ │ + [31] .data.r8hc_closure$def PROGBITS 0000000000000000 000620 000020 00 WAR 0 0 8 │ │ │ │ │ + [32] .rela.data.r8hc_closure$def RELA 0000000000000000 004a40 000048 18 I 71 31 8 │ │ │ │ │ [33] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide1_closure$def PROGBITS 0000000000000000 000640 000020 00 WAR 0 0 8 │ │ │ │ │ [34] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide1_closure$def RELA 0000000000000000 004a88 000048 18 I 71 33 8 │ │ │ │ │ - [35] .data.r8h9_closure$def PROGBITS 0000000000000000 000660 000010 00 WAR 0 0 8 │ │ │ │ │ - [36] .rela.data.r8h9_closure$def RELA 0000000000000000 004ad0 000018 18 I 71 35 8 │ │ │ │ │ - [37] .data.r8ha_closure$def PROGBITS 0000000000000000 000670 000020 00 WAR 0 0 8 │ │ │ │ │ - [38] .rela.data.r8ha_closure$def RELA 0000000000000000 004ae8 000048 18 I 71 37 8 │ │ │ │ │ + [35] .data.r8hd_closure$def PROGBITS 0000000000000000 000660 000010 00 WAR 0 0 8 │ │ │ │ │ + [36] .rela.data.r8hd_closure$def RELA 0000000000000000 004ad0 000018 18 I 71 35 8 │ │ │ │ │ + [37] .data.r8he_closure$def PROGBITS 0000000000000000 000670 000020 00 WAR 0 0 8 │ │ │ │ │ + [38] .rela.data.r8he_closure$def RELA 0000000000000000 004ae8 000048 18 I 71 37 8 │ │ │ │ │ [39] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure$def PROGBITS 0000000000000000 000690 000010 00 WAR 0 0 8 │ │ │ │ │ [40] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure$def RELA 0000000000000000 004b30 000030 18 I 71 39 8 │ │ │ │ │ [41] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision_closure$def PROGBITS 0000000000000000 0006a0 000040 00 WAR 0 0 8 │ │ │ │ │ [42] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision_closure$def RELA 0000000000000000 004b60 000060 18 I 71 41 8 │ │ │ │ │ - [43] .data.r8hb_closure$def PROGBITS 0000000000000000 0006e0 000020 00 WAR 0 0 8 │ │ │ │ │ - [44] .rela.data.r8hb_closure$def RELA 0000000000000000 004bc0 000048 18 I 71 43 8 │ │ │ │ │ - [45] .data.r8hc_closure$def PROGBITS 0000000000000000 000700 000020 00 WAR 0 0 8 │ │ │ │ │ - [46] .rela.data.r8hc_closure$def RELA 0000000000000000 004c08 000048 18 I 71 45 8 │ │ │ │ │ + [43] .data.r8hf_closure$def PROGBITS 0000000000000000 0006e0 000020 00 WAR 0 0 8 │ │ │ │ │ + [44] .rela.data.r8hf_closure$def RELA 0000000000000000 004bc0 000048 18 I 71 43 8 │ │ │ │ │ + [45] .data.r8hg_closure$def PROGBITS 0000000000000000 000700 000020 00 WAR 0 0 8 │ │ │ │ │ + [46] .rela.data.r8hg_closure$def RELA 0000000000000000 004c08 000048 18 I 71 45 8 │ │ │ │ │ [47] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved1_closure$def PROGBITS 0000000000000000 000720 000020 00 WAR 0 0 8 │ │ │ │ │ [48] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved1_closure$def RELA 0000000000000000 004c50 000048 18 I 71 47 8 │ │ │ │ │ [49] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure$def PROGBITS 0000000000000000 000740 000010 00 WAR 0 0 8 │ │ │ │ │ [50] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure$def RELA 0000000000000000 004c98 000030 18 I 71 49 8 │ │ │ │ │ [51] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved_closure$def PROGBITS 0000000000000000 000750 000040 00 WAR 0 0 8 │ │ │ │ │ [52] .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved_closure$def RELA 0000000000000000 004cc8 000060 18 I 71 51 8 │ │ │ │ │ [53] .data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved1_closure$def PROGBITS 0000000000000000 000790 000020 00 WAR 0 0 8 │ │ │ │ ├── readelf --wide --symbols {} │ │ │ │ │ @@ -1,18 +1,18 @@ │ │ │ │ │ │ │ │ │ │ Symbol table '.symtab' contains 133 entries: │ │ │ │ │ Num: Value Size Type Bind Vis Ndx Name │ │ │ │ │ 0: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND │ │ │ │ │ 1: 0000000000000020 0 NOTYPE LOCAL DEFAULT 1 .Lpcrel_hi0 │ │ │ │ │ 2: 000000000000006c 0 NOTYPE LOCAL DEFAULT 1 .LBB1_2 │ │ │ │ │ - 3: 0000000000000090 122 OBJECT LOCAL DEFAULT 1 c8l3_info$def │ │ │ │ │ + 3: 0000000000000090 122 OBJECT LOCAL DEFAULT 1 c8kV_info$def │ │ │ │ │ 4: 0000000000000062 0 NOTYPE LOCAL DEFAULT 1 .Lpcrel_hi1 │ │ │ │ │ 5: 0000000000000000 8 OBJECT LOCAL DEFAULT 11 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_closure$def │ │ │ │ │ 6: 00000000000000aa 0 NOTYPE LOCAL DEFAULT 1 .LBB2_2 │ │ │ │ │ - 7: 0000000000000120 60 OBJECT LOCAL DEFAULT 1 c8le_info$def │ │ │ │ │ + 7: 0000000000000120 60 OBJECT LOCAL DEFAULT 1 c8l6_info$def │ │ │ │ │ 8: 00000000000000f2 0 NOTYPE LOCAL DEFAULT 1 .LBB2_5 │ │ │ │ │ 9: 00000000000000f8 0 NOTYPE LOCAL DEFAULT 1 .LBB2_6 │ │ │ │ │ 10: 0000000000000100 0 NOTYPE LOCAL DEFAULT 1 .Lpcrel_hi2 │ │ │ │ │ 11: 000000000000014c 0 NOTYPE LOCAL DEFAULT 1 .LBB3_2 │ │ │ │ │ 12: 0000000000000152 0 NOTYPE LOCAL DEFAULT 1 .Lpcrel_hi3 │ │ │ │ │ 13: 000000000000019e 0 NOTYPE LOCAL DEFAULT 1 .LBB4_2 │ │ │ │ │ 14: 0000000000000194 0 NOTYPE LOCAL DEFAULT 1 .Lpcrel_hi4 │ │ │ │ │ @@ -45,22 +45,22 @@ │ │ │ │ │ 41: 0000000000000000 8 OBJECT LOCAL DEFAULT 5 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved3_bytes$def │ │ │ │ │ 42: 0000000000000000 9 OBJECT LOCAL DEFAULT 6 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision2_bytes$def │ │ │ │ │ 43: 0000000000000000 23 OBJECT LOCAL DEFAULT 7 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule2_bytes$def │ │ │ │ │ 44: 0000000000000000 40 OBJECT LOCAL DEFAULT 8 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule4_bytes$def │ │ │ │ │ 45: 0000000000000000 16 OBJECT LOCAL DEFAULT 25 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule3_closure$def │ │ │ │ │ 46: 0000000000000000 16 OBJECT LOCAL DEFAULT 27 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule1_closure$def │ │ │ │ │ 47: 0000000000000000 32 OBJECT LOCAL DEFAULT 29 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def │ │ │ │ │ - 48: 0000000000000000 32 OBJECT LOCAL DEFAULT 31 r8h8_closure$def │ │ │ │ │ + 48: 0000000000000000 32 OBJECT LOCAL DEFAULT 31 r8hc_closure$def │ │ │ │ │ 49: 0000000000000000 32 OBJECT LOCAL DEFAULT 33 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide1_closure$def │ │ │ │ │ - 50: 0000000000000000 16 OBJECT LOCAL DEFAULT 35 r8h9_closure$def │ │ │ │ │ - 51: 0000000000000000 32 OBJECT LOCAL DEFAULT 37 r8ha_closure$def │ │ │ │ │ + 50: 0000000000000000 16 OBJECT LOCAL DEFAULT 35 r8hd_closure$def │ │ │ │ │ + 51: 0000000000000000 32 OBJECT LOCAL DEFAULT 37 r8he_closure$def │ │ │ │ │ 52: 0000000000000000 16 OBJECT LOCAL DEFAULT 39 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure$def │ │ │ │ │ 53: 0000000000000000 64 OBJECT LOCAL DEFAULT 41 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision_closure$def │ │ │ │ │ - 54: 0000000000000000 32 OBJECT LOCAL DEFAULT 43 r8hb_closure$def │ │ │ │ │ - 55: 0000000000000000 32 OBJECT LOCAL DEFAULT 45 r8hc_closure$def │ │ │ │ │ + 54: 0000000000000000 32 OBJECT LOCAL DEFAULT 43 r8hf_closure$def │ │ │ │ │ + 55: 0000000000000000 32 OBJECT LOCAL DEFAULT 45 r8hg_closure$def │ │ │ │ │ 56: 0000000000000000 32 OBJECT LOCAL DEFAULT 47 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved1_closure$def │ │ │ │ │ 57: 0000000000000000 16 OBJECT LOCAL DEFAULT 49 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure$def │ │ │ │ │ 58: 0000000000000000 32 OBJECT LOCAL DEFAULT 53 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved1_closure$def │ │ │ │ │ 59: 0000000000000000 16 OBJECT LOCAL DEFAULT 55 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved2_closure$def │ │ │ │ │ 60: 0000000000000000 16 OBJECT LOCAL DEFAULT 59 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide2_closure$def │ │ │ │ │ 61: 000000000000001e 12 OBJECT GLOBAL DEFAULT 1 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zvz7eU_info$def │ │ │ │ │ 62: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND stg_ap_0_fast │ │ │ │ ├── readelf --wide --relocs {} │ │ │ │ │ @@ -4,17 +4,17 @@ │ │ │ │ │ 0000000000000000 000000000000002b R_RISCV_ALIGN 6 │ │ │ │ │ 0000000000000020 0000003e00000017 R_RISCV_PCREL_HI20 0000000000000000 stg_ap_0_fast + 0 │ │ │ │ │ 0000000000000020 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000024 0000000100000018 R_RISCV_PCREL_LO12_I 0000000000000020 .Lpcrel_hi0 + 0 │ │ │ │ │ 0000000000000024 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 000000000000002a 000000000000002b R_RISCV_ALIGN 6 │ │ │ │ │ 000000000000004c 0000000200000010 R_RISCV_BRANCH 000000000000006c .LBB1_2 + 0 │ │ │ │ │ -0000000000000050 000000030000001a R_RISCV_HI20 0000000000000090 c8l3_info$def + 0 │ │ │ │ │ +0000000000000050 000000030000001a R_RISCV_HI20 0000000000000090 c8kV_info$def + 0 │ │ │ │ │ 0000000000000050 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ -0000000000000054 000000030000001b R_RISCV_LO12_I 0000000000000090 c8l3_info$def + 0 │ │ │ │ │ +0000000000000054 000000030000001b R_RISCV_LO12_I 0000000000000090 c8kV_info$def + 0 │ │ │ │ │ 0000000000000054 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000062 0000004000000017 R_RISCV_PCREL_HI20 0000000000000000 stg_ap_pp_fast + 0 │ │ │ │ │ 0000000000000062 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000066 0000000400000018 R_RISCV_PCREL_LO12_I 0000000000000062 .Lpcrel_hi1 + 0 │ │ │ │ │ 0000000000000066 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000070 000000050000001a R_RISCV_HI20 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_closure$def + 0 │ │ │ │ │ 0000000000000070 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ @@ -22,17 +22,17 @@ │ │ │ │ │ 0000000000000074 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 000000000000007a 000000000000002b R_RISCV_ALIGN 6 │ │ │ │ │ 0000000000000096 0000000600000010 R_RISCV_BRANCH 00000000000000aa .LBB2_2 + 0 │ │ │ │ │ 00000000000000a0 000000410000001a R_RISCV_HI20 0000000000000000 ghczminternal_GHCziInternalziMaybe_Nothing_closure + 1 │ │ │ │ │ 00000000000000a0 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000000a4 000000410000001b R_RISCV_LO12_I 0000000000000000 ghczminternal_GHCziInternalziMaybe_Nothing_closure + 1 │ │ │ │ │ 00000000000000a4 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ -00000000000000ae 000000070000001a R_RISCV_HI20 0000000000000120 c8le_info$def + 0 │ │ │ │ │ +00000000000000ae 000000070000001a R_RISCV_HI20 0000000000000120 c8l6_info$def + 0 │ │ │ │ │ 00000000000000ae 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ -00000000000000b2 000000070000001b R_RISCV_LO12_I 0000000000000120 c8le_info$def + 0 │ │ │ │ │ +00000000000000b2 000000070000001b R_RISCV_LO12_I 0000000000000120 c8l6_info$def + 0 │ │ │ │ │ 00000000000000b2 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000000be 000000080000002c R_RISCV_RVC_BRANCH 00000000000000f2 .LBB2_5 + 0 │ │ │ │ │ 00000000000000c8 0000000900000010 R_RISCV_BRANCH 00000000000000f8 .LBB2_6 + 0 │ │ │ │ │ 00000000000000cc 000000420000001a R_RISCV_HI20 0000000000000000 ghczminternal_GHCziInternalziMaybe_Just_con_info + 0 │ │ │ │ │ 00000000000000cc 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000000d0 000000420000001b R_RISCV_LO12_I 0000000000000000 ghczminternal_GHCziInternalziMaybe_Just_con_info + 0 │ │ │ │ │ 00000000000000d0 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ @@ -56,31 +56,31 @@ │ │ │ │ │ 0000000000000138 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000152 0000004400000017 R_RISCV_PCREL_HI20 0000000000000000 stg_gc_unpt_r1 + 0 │ │ │ │ │ 0000000000000152 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000156 0000000c00000018 R_RISCV_PCREL_LO12_I 0000000000000152 .Lpcrel_hi3 + 0 │ │ │ │ │ 0000000000000156 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 000000000000015c 000000000000002b R_RISCV_ALIGN 6 │ │ │ │ │ 000000000000017e 0000000d00000010 R_RISCV_BRANCH 000000000000019e .LBB4_2 + 0 │ │ │ │ │ -0000000000000182 000000030000001a R_RISCV_HI20 0000000000000090 c8l3_info$def + 0 │ │ │ │ │ +0000000000000182 000000030000001a R_RISCV_HI20 0000000000000090 c8kV_info$def + 0 │ │ │ │ │ 0000000000000182 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ -0000000000000186 000000030000001b R_RISCV_LO12_I 0000000000000090 c8l3_info$def + 0 │ │ │ │ │ +0000000000000186 000000030000001b R_RISCV_LO12_I 0000000000000090 c8kV_info$def + 0 │ │ │ │ │ 0000000000000186 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000194 0000004000000017 R_RISCV_PCREL_HI20 0000000000000000 stg_ap_pp_fast + 0 │ │ │ │ │ 0000000000000194 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 0000000000000198 0000000e00000018 R_RISCV_PCREL_LO12_I 0000000000000194 .Lpcrel_hi4 + 0 │ │ │ │ │ 0000000000000198 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000001a2 000000050000001a R_RISCV_HI20 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_closure$def + 0 │ │ │ │ │ 00000000000001a2 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000001a6 000000050000001b R_RISCV_LO12_I 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_closure$def + 0 │ │ │ │ │ 00000000000001a6 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000001ac 000000000000002b R_RISCV_ALIGN 6 │ │ │ │ │ 00000000000001ce 0000000f00000010 R_RISCV_BRANCH 00000000000001ee .LBB5_2 + 0 │ │ │ │ │ -00000000000001d2 000000030000001a R_RISCV_HI20 0000000000000090 c8l3_info$def + 0 │ │ │ │ │ +00000000000001d2 000000030000001a R_RISCV_HI20 0000000000000090 c8kV_info$def + 0 │ │ │ │ │ 00000000000001d2 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ -00000000000001d6 000000030000001b R_RISCV_LO12_I 0000000000000090 c8l3_info$def + 0 │ │ │ │ │ +00000000000001d6 000000030000001b R_RISCV_LO12_I 0000000000000090 c8kV_info$def + 0 │ │ │ │ │ 00000000000001d6 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000001e4 0000004000000017 R_RISCV_PCREL_HI20 0000000000000000 stg_ap_pp_fast + 0 │ │ │ │ │ 00000000000001e4 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000001e8 0000001000000018 R_RISCV_PCREL_LO12_I 00000000000001e4 .Lpcrel_hi5 + 0 │ │ │ │ │ 00000000000001e8 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ 00000000000001f2 000000050000001a R_RISCV_HI20 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_closure$def + 0 │ │ │ │ │ 00000000000001f2 0000000000000033 R_RISCV_RELAX 0 │ │ │ │ │ @@ -245,65 +245,65 @@ │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def' at offset 0x49f8 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005300000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_Module_con_info + 0 │ │ │ │ │ 0000000000000008 0000002d00000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule3_closure$def + 1 │ │ │ │ │ 0000000000000010 0000002e00000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule1_closure$def + 1 │ │ │ │ │ │ │ │ │ │ -Relocation section '.rela.data.r8h8_closure$def' at offset 0x4a40 contains 3 entries: │ │ │ │ │ +Relocation section '.rela.data.r8hc_closure$def' at offset 0x4a40 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005400000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_KindRepTyConApp_con_info + 0 │ │ │ │ │ 0000000000000008 0000005500000002 R_RISCV_64 0000000000000000 ghczminternal_GHCziInternalziBase_zdtcVoid_closure + 1 │ │ │ │ │ 0000000000000010 0000005600000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_ZMZN_closure + 1 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide1_closure$def' at offset 0x4a88 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005700000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_KindRepFun_con_info + 0 │ │ │ │ │ 0000000000000008 0000005800000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_krepzdzt_closure + 5 │ │ │ │ │ 0000000000000010 0000005900000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_krepzdConstraint_closure + 1 │ │ │ │ │ │ │ │ │ │ -Relocation section '.rela.data.r8h9_closure$def' at offset 0x4ad0 contains 1 entry: │ │ │ │ │ +Relocation section '.rela.data.r8hd_closure$def' at offset 0x4ad0 contains 1 entry: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005a00000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_KindRepVar_con_info + 0 │ │ │ │ │ │ │ │ │ │ -Relocation section '.rela.data.r8ha_closure$def' at offset 0x4ae8 contains 3 entries: │ │ │ │ │ +Relocation section '.rela.data.r8he_closure$def' at offset 0x4ae8 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005700000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_KindRepFun_con_info + 0 │ │ │ │ │ -0000000000000008 0000003200000002 R_RISCV_64 0000000000000000 r8h9_closure$def + 2 │ │ │ │ │ -0000000000000010 0000003000000002 R_RISCV_64 0000000000000000 r8h8_closure$def + 1 │ │ │ │ │ +0000000000000008 0000003200000002 R_RISCV_64 0000000000000000 r8hd_closure$def + 2 │ │ │ │ │ +0000000000000010 0000003000000002 R_RISCV_64 0000000000000000 r8hc_closure$def + 1 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure$def' at offset 0x4b30 contains 2 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005200000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_TrNameS_con_info + 0 │ │ │ │ │ 0000000000000008 0000002a00000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision2_bytes$def + 0 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision_closure$def' at offset 0x4b60 contains 4 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005b00000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_TyCon_con_info + 0 │ │ │ │ │ 0000000000000008 0000002f00000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def + 1 │ │ │ │ │ 0000000000000010 0000003400000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure$def + 1 │ │ │ │ │ 0000000000000018 0000005c00000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_krepzdztArrzt_closure + 4 │ │ │ │ │ │ │ │ │ │ -Relocation section '.rela.data.r8hb_closure$def' at offset 0x4bc0 contains 3 entries: │ │ │ │ │ +Relocation section '.rela.data.r8hf_closure$def' at offset 0x4bc0 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005d00000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_ZC_con_info + 0 │ │ │ │ │ -0000000000000008 0000003200000002 R_RISCV_64 0000000000000000 r8h9_closure$def + 2 │ │ │ │ │ +0000000000000008 0000003200000002 R_RISCV_64 0000000000000000 r8hd_closure$def + 2 │ │ │ │ │ 0000000000000010 0000005600000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_ZMZN_closure + 1 │ │ │ │ │ │ │ │ │ │ -Relocation section '.rela.data.r8hc_closure$def' at offset 0x4c08 contains 3 entries: │ │ │ │ │ +Relocation section '.rela.data.r8hg_closure$def' at offset 0x4c08 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005400000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_KindRepTyConApp_con_info + 0 │ │ │ │ │ 0000000000000008 0000003500000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision_closure$def + 1 │ │ │ │ │ -0000000000000010 0000003600000002 R_RISCV_64 0000000000000000 r8hb_closure$def + 2 │ │ │ │ │ +0000000000000010 0000003600000002 R_RISCV_64 0000000000000000 r8hf_closure$def + 2 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved1_closure$def' at offset 0x4c50 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005700000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_KindRepFun_con_info + 0 │ │ │ │ │ -0000000000000008 0000003200000002 R_RISCV_64 0000000000000000 r8h9_closure$def + 2 │ │ │ │ │ -0000000000000010 0000003700000002 R_RISCV_64 0000000000000000 r8hc_closure$def + 1 │ │ │ │ │ +0000000000000008 0000003200000002 R_RISCV_64 0000000000000000 r8hd_closure$def + 2 │ │ │ │ │ +0000000000000010 0000003700000002 R_RISCV_64 0000000000000000 r8hg_closure$def + 1 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure$def' at offset 0x4c98 contains 2 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005200000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_TrNameS_con_info + 0 │ │ │ │ │ 0000000000000008 0000002900000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved3_bytes$def + 0 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved_closure$def' at offset 0x4cc8 contains 4 entries: │ │ │ │ │ @@ -312,16 +312,16 @@ │ │ │ │ │ 0000000000000008 0000002f00000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def + 1 │ │ │ │ │ 0000000000000010 0000003900000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure$def + 1 │ │ │ │ │ 0000000000000018 0000003800000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved1_closure$def + 4 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved1_closure$def' at offset 0x4d28 contains 3 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005700000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_KindRepFun_con_info + 0 │ │ │ │ │ -0000000000000008 0000003300000002 R_RISCV_64 0000000000000000 r8ha_closure$def + 4 │ │ │ │ │ -0000000000000010 0000003700000002 R_RISCV_64 0000000000000000 r8hc_closure$def + 1 │ │ │ │ │ +0000000000000008 0000003300000002 R_RISCV_64 0000000000000000 r8he_closure$def + 4 │ │ │ │ │ +0000000000000010 0000003700000002 R_RISCV_64 0000000000000000 r8hg_closure$def + 1 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved2_closure$def' at offset 0x4d70 contains 2 entries: │ │ │ │ │ Offset Info Type Symbol's Value Symbol's Name + Addend │ │ │ │ │ 0000000000000000 0000005200000002 R_RISCV_64 0000000000000000 ghczmprim_GHCziTypes_TrNameS_con_info + 0 │ │ │ │ │ 0000000000000008 0000002800000002 R_RISCV_64 0000000000000000 singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved3_bytes$def + 0 │ │ │ │ │ │ │ │ │ │ Relocation section '.rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved_closure$def' at offset 0x4da0 contains 4 entries: │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -2,18 +2,18 @@ │ │ │ │ │ Decision │ │ │ │ │ Data.Singletons.Decide │ │ │ │ │ singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0 │ │ │ │ │ singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0:Data.Singletons.Decide.Proved │ │ │ │ │ singletons-3.0.4-F2bR03ggyPH3QOuzOMPFH0:Data.Singletons.Decide.Disproved │ │ │ │ │ rv64i2p1_m2p0_a2p1_f2p2_d2p2_c2p0_zicsr2p0_zmmul1p0_zaamo1p0_zalrsc1p0_zca1p0_zcd1p0 │ │ │ │ │ .Lpcrel_hi0 │ │ │ │ │ -c8l3_info$def │ │ │ │ │ +c8kV_info$def │ │ │ │ │ .Lpcrel_hi1 │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideEquality_closure$def │ │ │ │ │ -c8le_info$def │ │ │ │ │ +c8l6_info$def │ │ │ │ │ .Lpcrel_hi2 │ │ │ │ │ .Lpcrel_hi3 │ │ │ │ │ .Lpcrel_hi4 │ │ │ │ │ .Lpcrel_hi5 │ │ │ │ │ c8nA_info$def │ │ │ │ │ .Lpcrel_hi6 │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideCoercion_closure$def │ │ │ │ │ @@ -35,22 +35,22 @@ │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved3_bytes$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision2_bytes$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule2_bytes$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule4_bytes$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule3_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule1_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def │ │ │ │ │ -r8h8_closure$def │ │ │ │ │ +r8hc_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide1_closure$def │ │ │ │ │ -r8h9_closure$def │ │ │ │ │ -r8ha_closure$def │ │ │ │ │ +r8hd_closure$def │ │ │ │ │ +r8he_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision_closure$def │ │ │ │ │ -r8hb_closure$def │ │ │ │ │ -r8hc_closure$def │ │ │ │ │ +r8hf_closure$def │ │ │ │ │ +r8hg_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved1_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved1_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved2_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide2_closure$def │ │ │ │ │ singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zvz7eU_info$def │ │ │ │ │ stg_ap_0_fast │ │ │ │ │ @@ -139,22 +139,22 @@ │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideCoercion1_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_decideCoercion_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdfTestCoercionkWrappedSingzuzdctestCoercion_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdfTestCoercionkWrappedSing_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule3_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule1_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtrModule_closure$def │ │ │ │ │ -.rela.data.r8h8_closure$def │ │ │ │ │ +.rela.data.r8hc_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide1_closure$def │ │ │ │ │ -.rela.data.r8h9_closure$def │ │ │ │ │ -.rela.data.r8ha_closure$def │ │ │ │ │ +.rela.data.r8hd_closure$def │ │ │ │ │ +.rela.data.r8he_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision1_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcDecision_closure$def │ │ │ │ │ -.rela.data.r8hb_closure$def │ │ │ │ │ -.rela.data.r8hc_closure$def │ │ │ │ │ +.rela.data.r8hf_closure$def │ │ │ │ │ +.rela.data.r8hg_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved1_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved2_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqProved_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved1_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved2_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtczqDisproved_closure$def │ │ │ │ │ .rela.data.singletonszm3zi0zi4zmF2bR03ggyPH3QOuzzOMPFH0_DataziSingletonsziDecide_zdtcSDecide2_closure$def │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -38,17 +38,17 @@ │ │ │ │ │ unimp │ │ │ │ │ unimp │ │ │ │ │ ... │ │ │ │ │ │ │ │ │ │ 0000000000000048 : │ │ │ │ │ ....c`.......... │ │ │ │ │ R_RISCV_BRANCH .LBB1_2 │ │ │ │ │ - R_RISCV_HI20 c8l3_info$def │ │ │ │ │ + R_RISCV_HI20 c8kV_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ - R_RISCV_LO12_I c8l3_info$def │ │ │ │ │ + R_RISCV_LO12_I c8kV_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ ..*.V...^. │ │ │ │ │ │ │ │ │ │ 0000000000000062 <.Lpcrel_hi1>: │ │ │ │ │ auipc t1,0x0 │ │ │ │ │ R_RISCV_PCREL_HI20 stg_ap_pp_fast │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ @@ -71,30 +71,30 @@ │ │ │ │ │ nop │ │ │ │ │ ... │ │ │ │ │ c.slli zero,0x7 │ │ │ │ │ unimp │ │ │ │ │ unimp │ │ │ │ │ ... │ │ │ │ │ │ │ │ │ │ -0000000000000090 : │ │ │ │ │ +0000000000000090 : │ │ │ │ │ .uz..Ec....7..!. │ │ │ │ │ R_RISCV_BRANCH .LBB2_2 │ │ │ │ │ 7......... │ │ │ │ │ R_RISCV_HI20 ghczminternal_GHCziInternalziMaybe_Nothing_closure+0x1 │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ R_RISCV_LO12_I ghczminternal_GHCziInternalziMaybe_Nothing_closure+0x1 │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ │ │ │ │ │ 00000000000000aa <.LBB2_2>: │ │ │ │ │ ld s4,7(s4) │ │ │ │ │ lui a0,0x0 │ │ │ │ │ - R_RISCV_HI20 c8le_info$def │ │ │ │ │ + R_RISCV_HI20 c8l6_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ mv a0,a0 │ │ │ │ │ - R_RISCV_LO12_I c8le_info$def │ │ │ │ │ + R_RISCV_LO12_I c8l6_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ andi a1,s4,7 │ │ │ │ │ sd a0,0(s2) │ │ │ │ │ beqz a1,be <.LBB2_2+0x14> │ │ │ │ │ R_RISCV_RVC_BRANCH .LBB2_5 │ │ │ │ │ ld a1,856(s1) │ │ │ │ │ addi a0,s3,16 │ │ │ │ │ @@ -142,15 +142,15 @@ │ │ │ │ │ nop │ │ │ │ │ ... │ │ │ │ │ c.slli zero,0x7 │ │ │ │ │ unimp │ │ │ │ │ unimp │ │ │ │ │ ... │ │ │ │ │ │ │ │ │ │ -0000000000000120 : │ │ │ │ │ +0000000000000120 : │ │ │ │ │ ...5N...c.5..... │ │ │ │ │ R_RISCV_BRANCH .LBB3_2 │ │ │ │ │ R_RISCV_HI20 ghczminternal_GHCziInternalziMaybe_Just_con_info │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ ....7........7.. │ │ │ │ │ R_RISCV_LO12_I ghczminternal_GHCziInternalziMaybe_Just_con_info │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ @@ -182,17 +182,17 @@ │ │ │ │ │ unimp │ │ │ │ │ unimp │ │ │ │ │ ... │ │ │ │ │ │ │ │ │ │ 000000000000017a : │ │ │ │ │ ....c`.......... │ │ │ │ │ R_RISCV_BRANCH .LBB4_2 │ │ │ │ │ - R_RISCV_HI20 c8l3_info$def │ │ │ │ │ + R_RISCV_HI20 c8kV_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ - R_RISCV_LO12_I c8l3_info$def │ │ │ │ │ + R_RISCV_LO12_I c8kV_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ ..*.V...^. │ │ │ │ │ │ │ │ │ │ 0000000000000194 <.Lpcrel_hi4>: │ │ │ │ │ auipc t1,0x0 │ │ │ │ │ R_RISCV_PCREL_HI20 stg_ap_pp_fast │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ @@ -220,17 +220,17 @@ │ │ │ │ │ unimp │ │ │ │ │ unimp │ │ │ │ │ ... │ │ │ │ │ │ │ │ │ │ 00000000000001ca : │ │ │ │ │ ....c`.......... │ │ │ │ │ R_RISCV_BRANCH .LBB5_2 │ │ │ │ │ - R_RISCV_HI20 c8l3_info$def │ │ │ │ │ + R_RISCV_HI20 c8kV_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ - R_RISCV_LO12_I c8l3_info$def │ │ │ │ │ + R_RISCV_LO12_I c8kV_info$def │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ │ ..*.V...^. │ │ │ │ │ │ │ │ │ │ 00000000000001e4 <.Lpcrel_hi5>: │ │ │ │ │ auipc t1,0x0 │ │ │ │ │ R_RISCV_PCREL_HI20 stg_ap_pp_fast │ │ │ │ │ R_RISCV_RELAX *ABS* │ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {} │ │ │ │ │ @@ -1,19 +1,19 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.strtab': │ │ │ │ │ 0x00000000 002e4c70 6372656c 5f686930 002e4c42 ..Lpcrel_hi0..LB │ │ │ │ │ - 0x00000010 42315f32 0063386c 335f696e 666f2464 B1_2.c8l3_info$d │ │ │ │ │ + 0x00000010 42315f32 0063386b 565f696e 666f2464 B1_2.c8kV_info$d │ │ │ │ │ 0x00000020 6566002e 4c706372 656c5f68 69310073 ef..Lpcrel_hi1.s │ │ │ │ │ 0x00000030 696e676c 65746f6e 737a6d33 7a69307a ingletonszm3zi0z │ │ │ │ │ 0x00000040 69347a6d 46326252 30336767 79504833 i4zmF2bR03ggyPH3 │ │ │ │ │ 0x00000050 514f757a 7a4f4d50 4648305f 44617461 QOuzzOMPFH0_Data │ │ │ │ │ 0x00000060 7a695369 6e676c65 746f6e73 7a694465 ziSingletonsziDe │ │ │ │ │ 0x00000070 63696465 5f646563 69646545 7175616c cide_decideEqual │ │ │ │ │ 0x00000080 6974795f 636c6f73 75726524 64656600 ity_closure$def. │ │ │ │ │ - 0x00000090 2e4c4242 325f3200 63386c65 5f696e66 .LBB2_2.c8le_inf │ │ │ │ │ + 0x00000090 2e4c4242 325f3200 63386c36 5f696e66 .LBB2_2.c8l6_inf │ │ │ │ │ 0x000000a0 6f246465 66002e4c 4242325f 35002e4c o$def..LBB2_5..L │ │ │ │ │ 0x000000b0 4242325f 36002e4c 70637265 6c5f6869 BB2_6..Lpcrel_hi │ │ │ │ │ 0x000000c0 32002e4c 4242335f 32002e4c 70637265 2..LBB3_2..Lpcre │ │ │ │ │ 0x000000d0 6c5f6869 33002e4c 4242345f 32002e4c l_hi3..LBB4_2..L │ │ │ │ │ 0x000000e0 70637265 6c5f6869 34002e4c 4242355f pcrel_hi4..LBB5_ │ │ │ │ │ 0x000000f0 32002e4c 70637265 6c5f6869 35002e4c 2..Lpcrel_hi5..L │ │ │ │ │ 0x00000100 4242365f 32006338 6e415f69 6e666f24 BB6_2.c8nA_info$ │ │ │ │ │ @@ -100,37 +100,37 @@ │ │ │ │ │ 0x00000610 64756c65 315f636c 6f737572 65246465 dule1_closure$de │ │ │ │ │ 0x00000620 66007369 6e676c65 746f6e73 7a6d337a f.singletonszm3z │ │ │ │ │ 0x00000630 69307a69 347a6d46 32625230 33676779 i0zi4zmF2bR03ggy │ │ │ │ │ 0x00000640 50483351 4f757a7a 4f4d5046 48305f44 PH3QOuzzOMPFH0_D │ │ │ │ │ 0x00000650 6174617a 6953696e 676c6574 6f6e737a ataziSingletonsz │ │ │ │ │ 0x00000660 69446563 6964655f 7a647472 4d6f6475 iDecide_zdtrModu │ │ │ │ │ 0x00000670 6c655f63 6c6f7375 72652464 65660072 le_closure$def.r │ │ │ │ │ - 0x00000680 3868385f 636c6f73 75726524 64656600 8h8_closure$def. │ │ │ │ │ + 0x00000680 3868635f 636c6f73 75726524 64656600 8hc_closure$def. │ │ │ │ │ 0x00000690 73696e67 6c65746f 6e737a6d 337a6930 singletonszm3zi0 │ │ │ │ │ 0x000006a0 7a69347a 6d463262 52303367 67795048 zi4zmF2bR03ggyPH │ │ │ │ │ 0x000006b0 33514f75 7a7a4f4d 50464830 5f446174 3QOuzzOMPFH0_Dat │ │ │ │ │ 0x000006c0 617a6953 696e676c 65746f6e 737a6944 aziSingletonsziD │ │ │ │ │ 0x000006d0 65636964 655f7a64 74635344 65636964 ecide_zdtcSDecid │ │ │ │ │ 0x000006e0 65315f63 6c6f7375 72652464 65660072 e1_closure$def.r │ │ │ │ │ - 0x000006f0 3868395f 636c6f73 75726524 64656600 8h9_closure$def. │ │ │ │ │ - 0x00000700 72386861 5f636c6f 73757265 24646566 r8ha_closure$def │ │ │ │ │ + 0x000006f0 3868645f 636c6f73 75726524 64656600 8hd_closure$def. │ │ │ │ │ + 0x00000700 72386865 5f636c6f 73757265 24646566 r8he_closure$def │ │ │ │ │ 0x00000710 0073696e 676c6574 6f6e737a 6d337a69 .singletonszm3zi │ │ │ │ │ 0x00000720 307a6934 7a6d4632 62523033 67677950 0zi4zmF2bR03ggyP │ │ │ │ │ 0x00000730 4833514f 757a7a4f 4d504648 305f4461 H3QOuzzOMPFH0_Da │ │ │ │ │ 0x00000740 74617a69 53696e67 6c65746f 6e737a69 taziSingletonszi │ │ │ │ │ 0x00000750 44656369 64655f7a 64746344 65636973 Decide_zdtcDecis │ │ │ │ │ 0x00000760 696f6e31 5f636c6f 73757265 24646566 ion1_closure$def │ │ │ │ │ 0x00000770 0073696e 676c6574 6f6e737a 6d337a69 .singletonszm3zi │ │ │ │ │ 0x00000780 307a6934 7a6d4632 62523033 67677950 0zi4zmF2bR03ggyP │ │ │ │ │ 0x00000790 4833514f 757a7a4f 4d504648 305f4461 H3QOuzzOMPFH0_Da │ │ │ │ │ 0x000007a0 74617a69 53696e67 6c65746f 6e737a69 taziSingletonszi │ │ │ │ │ 0x000007b0 44656369 64655f7a 64746344 65636973 Decide_zdtcDecis │ │ │ │ │ 0x000007c0 696f6e5f 636c6f73 75726524 64656600 ion_closure$def. │ │ │ │ │ - 0x000007d0 72386862 5f636c6f 73757265 24646566 r8hb_closure$def │ │ │ │ │ - 0x000007e0 00723868 635f636c 6f737572 65246465 .r8hc_closure$de │ │ │ │ │ + 0x000007d0 72386866 5f636c6f 73757265 24646566 r8hf_closure$def │ │ │ │ │ + 0x000007e0 00723868 675f636c 6f737572 65246465 .r8hg_closure$de │ │ │ │ │ 0x000007f0 66007369 6e676c65 746f6e73 7a6d337a f.singletonszm3z │ │ │ │ │ 0x00000800 69307a69 347a6d46 32625230 33676779 i0zi4zmF2bR03ggy │ │ │ │ │ 0x00000810 50483351 4f757a7a 4f4d5046 48305f44 PH3QOuzzOMPFH0_D │ │ │ │ │ 0x00000820 6174617a 6953696e 676c6574 6f6e737a ataziSingletonsz │ │ │ │ │ 0x00000830 69446563 6964655f 7a647463 7a715072 iDecide_zdtczqPr │ │ │ │ │ 0x00000840 6f766564 315f636c 6f737572 65246465 oved1_closure$de │ │ │ │ │ 0x00000850 66007369 6e676c65 746f6e73 7a6d337a f.singletonszm3z │ │ │ │ ├── readelf --wide --decompress --hex-dump=.shstrtab {} │ │ │ │ │ @@ -115,42 +115,42 @@ │ │ │ │ │ 0x00000700 73757265 24646566 002e7265 6c612e64 sure$def..rela.d │ │ │ │ │ 0x00000710 6174612e 73696e67 6c65746f 6e737a6d ata.singletonszm │ │ │ │ │ 0x00000720 337a6930 7a69347a 6d463262 52303367 3zi0zi4zmF2bR03g │ │ │ │ │ 0x00000730 67795048 33514f75 7a7a4f4d 50464830 gyPH3QOuzzOMPFH0 │ │ │ │ │ 0x00000740 5f446174 617a6953 696e676c 65746f6e _DataziSingleton │ │ │ │ │ 0x00000750 737a6944 65636964 655f7a64 74724d6f sziDecide_zdtrMo │ │ │ │ │ 0x00000760 64756c65 5f636c6f 73757265 24646566 dule_closure$def │ │ │ │ │ - 0x00000770 002e7265 6c612e64 6174612e 72386838 ..rela.data.r8h8 │ │ │ │ │ + 0x00000770 002e7265 6c612e64 6174612e 72386863 ..rela.data.r8hc │ │ │ │ │ 0x00000780 5f636c6f 73757265 24646566 002e7265 _closure$def..re │ │ │ │ │ 0x00000790 6c612e64 6174612e 73696e67 6c65746f la.data.singleto │ │ │ │ │ 0x000007a0 6e737a6d 337a6930 7a69347a 6d463262 nszm3zi0zi4zmF2b │ │ │ │ │ 0x000007b0 52303367 67795048 33514f75 7a7a4f4d R03ggyPH3QOuzzOM │ │ │ │ │ 0x000007c0 50464830 5f446174 617a6953 696e676c PFH0_DataziSingl │ │ │ │ │ 0x000007d0 65746f6e 737a6944 65636964 655f7a64 etonsziDecide_zd │ │ │ │ │ 0x000007e0 74635344 65636964 65315f63 6c6f7375 tcSDecide1_closu │ │ │ │ │ 0x000007f0 72652464 6566002e 72656c61 2e646174 re$def..rela.dat │ │ │ │ │ - 0x00000800 612e7238 68395f63 6c6f7375 72652464 a.r8h9_closure$d │ │ │ │ │ + 0x00000800 612e7238 68645f63 6c6f7375 72652464 a.r8hd_closure$d │ │ │ │ │ 0x00000810 6566002e 72656c61 2e646174 612e7238 ef..rela.data.r8 │ │ │ │ │ - 0x00000820 68615f63 6c6f7375 72652464 6566002e ha_closure$def.. │ │ │ │ │ + 0x00000820 68655f63 6c6f7375 72652464 6566002e he_closure$def.. │ │ │ │ │ 0x00000830 72656c61 2e646174 612e7369 6e676c65 rela.data.single │ │ │ │ │ 0x00000840 746f6e73 7a6d337a 69307a69 347a6d46 tonszm3zi0zi4zmF │ │ │ │ │ 0x00000850 32625230 33676779 50483351 4f757a7a 2bR03ggyPH3QOuzz │ │ │ │ │ 0x00000860 4f4d5046 48305f44 6174617a 6953696e OMPFH0_DataziSin │ │ │ │ │ 0x00000870 676c6574 6f6e737a 69446563 6964655f gletonsziDecide_ │ │ │ │ │ 0x00000880 7a647463 44656369 73696f6e 315f636c zdtcDecision1_cl │ │ │ │ │ 0x00000890 6f737572 65246465 66002e72 656c612e osure$def..rela. │ │ │ │ │ 0x000008a0 64617461 2e73696e 676c6574 6f6e737a data.singletonsz │ │ │ │ │ 0x000008b0 6d337a69 307a6934 7a6d4632 62523033 m3zi0zi4zmF2bR03 │ │ │ │ │ 0x000008c0 67677950 4833514f 757a7a4f 4d504648 ggyPH3QOuzzOMPFH │ │ │ │ │ 0x000008d0 305f4461 74617a69 53696e67 6c65746f 0_DataziSingleto │ │ │ │ │ 0x000008e0 6e737a69 44656369 64655f7a 64746344 nsziDecide_zdtcD │ │ │ │ │ 0x000008f0 65636973 696f6e5f 636c6f73 75726524 ecision_closure$ │ │ │ │ │ 0x00000900 64656600 2e72656c 612e6461 74612e72 def..rela.data.r │ │ │ │ │ - 0x00000910 3868625f 636c6f73 75726524 64656600 8hb_closure$def. │ │ │ │ │ - 0x00000920 2e72656c 612e6461 74612e72 3868635f .rela.data.r8hc_ │ │ │ │ │ + 0x00000910 3868665f 636c6f73 75726524 64656600 8hf_closure$def. │ │ │ │ │ + 0x00000920 2e72656c 612e6461 74612e72 3868675f .rela.data.r8hg_ │ │ │ │ │ 0x00000930 636c6f73 75726524 64656600 2e72656c closure$def..rel │ │ │ │ │ 0x00000940 612e6461 74612e73 696e676c 65746f6e a.data.singleton │ │ │ │ │ 0x00000950 737a6d33 7a69307a 69347a6d 46326252 szm3zi0zi4zmF2bR │ │ │ │ │ 0x00000960 30336767 79504833 514f757a 7a4f4d50 03ggyPH3QOuzzOMP │ │ │ │ │ 0x00000970 4648305f 44617461 7a695369 6e676c65 FH0_DataziSingle │ │ │ │ │ 0x00000980 746f6e73 7a694465 63696465 5f7a6474 tonsziDecide_zdt │ │ │ │ │ 0x00000990 637a7150 726f7665 64315f63 6c6f7375 czqProved1_closu