lst/Clean System Files/expr_gadt.abc

   1 .comp 920 010111010010000
   2 .start __expr_gadt_Start
   3 .depend "_SystemEnumStrict" "20220216025412"
   4 .depend "_SystemStrictLists" "20220216025412"
   5 .depend "StdStrictLists" "20220216025412"
   6 .depend "_SystemEnum" "20220216025412"
   7 .depend "StdEnum" "20220216025412"
   8 .depend "StdMisc" "20220216025412"
   9 .depend "StdFunctions" "20220216025412"
  10 .depend "StdCharList" "20220216025412"
  11 .depend "StdTuple" "20220216025412"
  12 .depend "StdOrdList" "20220216025412"
  13 .depend "StdList" "20220216025412"
  14 .depend "StdClass" "20220216025412"
  15 .depend "StdFile" "20220216025412"
  16 .depend "StdString" "20220216025412"
  17 .depend "_SystemArray" "20220216025412"
  18 .depend "StdArray" "20220216025412"
  19 .depend "StdChar" "20220216025412"
  20 .depend "StdReal" "20220216025412"
  21 .depend "StdInt" "20220216025412"
  22 .depend "StdOverloaded" "20220216025412"
  23 .depend "StdBool" "20220216025412"
  24 .depend "StdEnv" "20220216025412"
  25 .module m_expr_gadt "expr_gadt" "20220301194916"
  26 .endinfo
  27 .impmod _system
  28 .implab _cycle_in_spine
  29 .implab _type_error
  30 .implab _hnf
  31 .impdesc e_system_dind
  32 .implab e_system_nind e_system_eaind
  33 .impdesc e_system_dif
  34 .implab e_system_nif e_system_eaif
  35 .implab e_system_sif
  36 .impdesc e_system_dAP
  37 .implab e_system_nAP e_system_eaAP
  38 .implab e_system_sAP
  39 .impdesc ARRAY
  40 .impdesc _Nil
  41 .impdesc _Cons
  42 .impdesc _Conss
  43 .implab n_Conss ea_Conss
  44 .impdesc _Consts
  45 .implab n_Consts ea_Consts
  46 .impdesc _Conssts
  47 .implab n_Conssts ea_Conssts
  48 .impdesc _Tuple
  49 .impdesc d_S.1
  50 .implab n_S.1 ea_S.1
  51 .impdesc d_S.2
  52 .implab n_S.2 ea_S.2
  53 .impdesc d_S.3
  54 .implab n_S.3 ea_S.3
  55 .impdesc d_S.4
  56 .implab n_S.4 ea_S.4
  57 .impdesc d_S.5
  58 .implab n_S.5 ea_S.5
  59 .impdesc d_S.6
  60 .implab n_S.6 ea_S.6
  61 .implab _driver
  62 .impmod StdFunctions
  63 .impdesc e_StdFunctions_did
  64 .impmod StdString
  65 .impdesc e_StdString_dtoString;5
  66 .impmod StdOverloaded
  67 .impdesc e_StdOverloaded_d+;.+
  68 .implab e_StdOverloaded_n+;.+ e_StdOverloaded_ea+;.+
  69 .impdesc e_StdOverloaded_d==;.==
  70 .implab e_StdOverloaded_n==;.== e_StdOverloaded_ea==;.==
  71 .impdesc e_StdOverloaded_rtoString;
  72 .record r7 aaaa 4 0 "BM"
  73 .record k13 d{a}aa 3 0 e_StdOverloaded_rtoString; "Lit"
  74 .impdesc e_StdOverloaded_r+;
  75 .record k14 d{a}aaa 4 0 e_StdOverloaded_r+; "Add"
  76 .impdesc e_StdOverloaded_r==;
  77 .record k15 d{a}aaa 4 0 e_StdOverloaded_r==; "Eq"
  78 .export __expr_gadt_Start
  79 .o 0 0
  80 __expr_gadt_Start
  81         build _ 0 n4
  82 .d 1 0
  83         jmp _driver
  84 .n 0 _
  85 .o 1 0
  86 n4
  87         push_node _cycle_in_spine 0
  88 .d 0 0
  89         jsr ea4
  90 .o 0 1 i
  91         fillI_b 0 0
  92         pop_b 1
  93 .d 1 0
  94         rtn
  95 .o 0 0
  96 ea4
  97 .o 0 0
  98 s4
  99         buildh e_StdString_dtoString;5 0
 100         create
 101         buildI 42
 102         push_a 2
 103         update_a 2 3
 104         update_a 1 2
 105         update_a 0 1
 106         pop_a 1
 107 .d 3 0
 108         jsr s2
 109 .o 1 0
 110 .d 1 0
 111         jsr s3
 112 .o 1 0
 113         pushI_a 0
 114         pop_a 1
 115 .d 0 1 i
 116         rtn
 117 .o 3 0
 118 s2
 119         build _ 0 n1
 120         push_a 2
 121         push_a 2
 122         push_a 2
 123         update_a 2 3
 124         update_a 0 2
 125         pop_a 1
 126         fill_r k13 3 0 5 0 0
 127         pop_a 5
 128 .d 1 0
 129         rtn
 130 .n 0 _
 131 .o 1 0
 132 n1
 133         push_node _cycle_in_spine 0
 134 .o 0 0
 135 ea1
 136         buildh e_StdFunctions_did 0
 137         buildh e_StdFunctions_did 0
 138         buildh e_StdFunctions_did 0
 139         buildh e_StdFunctions_did 0
 140         fill_r r7 4 0 4 0 0
 141         pop_a 4
 142 .d 1 0
 143         rtn
 144 .n 1 _ _
 145 .o 1 0
 146 n3
 147         push_node _cycle_in_spine 1
 148 .d 1 0
 149         jsr ea3
 150 .o 1 0
 151         fill_a 0 1
 152         pop_a 1
 153 .d 1 0
 154         rtn
 155 .o 1 0
 156 ea3
 157         jsr_eval 0
 158 .o 1 0
 159 s3
 160         pushD_a 0
 161         jmpD ea k14 0 case.2 case.3
 162 case.1
 163         pop_b 1
 164         repl_args 3 3
 165         pop_a 1
 166         jsr_eval 0
 167         push_r_args_a 0 4 0 2 1
 168         jsr_eval 0
 169         push_a 2
 170         push_a 1
 171         update_a 1 2
 172         update_a 0 1
 173         pop_a 1
 174         update_a 1 3
 175         updatepop_a 0 2
 176         jmp_ap 1
 177 case.2
 178         pop_b 1
 179         repl_args 4 4
 180         push_a 3
 181         build _ 1 n3
 182         push_a 3
 183         build _ 1 n3
 184         push_a 2
 185         build _ 3 n16
 186         jsr_eval 2
 187         push_r_args_a 2 4 0 2 1
 188         jsr_eval 0
 189         update_a 1 5
 190         updatepop_a 0 4
 191         jmp_ap 1
 192 case.3
 193         pop_b 1
 194         repl_args 4 4
 195         push_a 3
 196         build _ 1 n3
 197         push_a 3
 198         build _ 1 n3
 199         push_a 2
 200         build _ 3 n17
 201         jsr_eval 2
 202         push_r_args_a 2 4 0 2 1
 203         jsr_eval 0
 204         update_a 1 5
 205         updatepop_a 0 4
 206         jmp_ap 1
 207 .n 3 _ ea17
 208 .o 1 0
 209 n17
 210         push_node _cycle_in_spine 3
 211 .o 4 0
 212 ea17
 213 .o 4 0
 214 s17
 215         push_a 2
 216         jsr_eval 0
 217         push_a 2
 218         jsr_eval 0
 219         push_a 2
 220         jsr_eval 0
 221         update_a 2 5
 222         update_a 1 4
 223         updatepop_a 0 3
 224 .d 3 0
 225         jsr_i 2
 226 .o 0 1 b
 227         fillB_b 0 0
 228         pop_b 1
 229 .d 1 0
 230         rtn
 231 .n 3 _ ea16
 232 .o 1 0
 233 n16
 234         push_node _cycle_in_spine 3
 235 .o 4 0
 236 ea16
 237 .o 4 0
 238 s16
 239         push_a 2
 240         jsr_eval 0
 241         push_a 2
 242         jsr_eval 0
 243         push_a 2
 244         jsr_eval 0
 245         update_a 2 5
 246         update_a 1 4
 247         updatepop_a 0 3
 248 .d 3 0
 249         jsr_i 2
 250 .o 1 0
 251         fill_a 0 1
 252         pop_a 1
 253 .d 1 0
 254         rtn