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"
28 .implab _cycle_in_spine
31 .impdesc e_system_dind
32 .implab e_system_nind e_system_eaind
34 .implab e_system_nif e_system_eaif
37 .implab e_system_nAP e_system_eaAP
43 .implab n_Conss ea_Conss
45 .implab n_Consts ea_Consts
47 .implab n_Conssts ea_Conssts
63 .impdesc e_StdFunctions_did
65 .impdesc e_StdString_dtoString;5
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
87 push_node _cycle_in_spine 0
99 buildh e_StdString_dtoString;5 0
133 push_node _cycle_in_spine 0
136 buildh e_StdFunctions_did 0
137 buildh e_StdFunctions_did 0
138 buildh e_StdFunctions_did 0
139 buildh e_StdFunctions_did 0
147 push_node _cycle_in_spine 1
161 jmpD ea k14 0 case.2 case.3
167 push_r_args_a 0 4 0 2 1
187 push_r_args_a 2 4 0 2 1
202 push_r_args_a 2 4 0 2 1
210 push_node _cycle_in_spine 3
234 push_node _cycle_in_spine 3