.comp 920 010111010010000
.start __expr_gadt_Start
.depend "_SystemEnumStrict" "20220216025412"
.depend "_SystemStrictLists" "20220216025412"
.depend "StdStrictLists" "20220216025412"
.depend "_SystemEnum" "20220216025412"
.depend "StdEnum" "20220216025412"
.depend "StdMisc" "20220216025412"
.depend "StdFunctions" "20220216025412"
.depend "StdCharList" "20220216025412"
.depend "StdTuple" "20220216025412"
.depend "StdOrdList" "20220216025412"
.depend "StdList" "20220216025412"
.depend "StdClass" "20220216025412"
.depend "StdFile" "20220216025412"
.depend "StdString" "20220216025412"
.depend "_SystemArray" "20220216025412"
.depend "StdArray" "20220216025412"
.depend "StdChar" "20220216025412"
.depend "StdReal" "20220216025412"
.depend "StdInt" "20220216025412"
.depend "StdOverloaded" "20220216025412"
.depend "StdBool" "20220216025412"
.depend "StdEnv" "20220216025412"
.module m_expr_gadt "expr_gadt" "20220301194916"
.endinfo
.impmod _system
.implab _cycle_in_spine
.implab _type_error
.implab _hnf
.impdesc e_system_dind
.implab e_system_nind e_system_eaind
.impdesc e_system_dif
.implab e_system_nif e_system_eaif
.implab e_system_sif
.impdesc e_system_dAP
.implab e_system_nAP e_system_eaAP
.implab e_system_sAP
.impdesc ARRAY
.impdesc _Nil
.impdesc _Cons
.impdesc _Conss
.implab n_Conss ea_Conss
.impdesc _Consts
.implab n_Consts ea_Consts
.impdesc _Conssts
.implab n_Conssts ea_Conssts
.impdesc _Tuple
.impdesc d_S.1
.implab n_S.1 ea_S.1
.impdesc d_S.2
.implab n_S.2 ea_S.2
.impdesc d_S.3
.implab n_S.3 ea_S.3
.impdesc d_S.4
.implab n_S.4 ea_S.4
.impdesc d_S.5
.implab n_S.5 ea_S.5
.impdesc d_S.6
.implab n_S.6 ea_S.6
.implab _driver
.impmod StdFunctions
.impdesc e_StdFunctions_did
.impmod StdString
.impdesc e_StdString_dtoString;5
.impmod StdOverloaded
.impdesc e_StdOverloaded_d+;.+
.implab e_StdOverloaded_n+;.+ e_StdOverloaded_ea+;.+
.impdesc e_StdOverloaded_d==;.==
.implab e_StdOverloaded_n==;.== e_StdOverloaded_ea==;.==
.impdesc e_StdOverloaded_rtoString;
.record r7 aaaa 4 0 "BM"
.record k13 d{a}aa 3 0 e_StdOverloaded_rtoString; "Lit"
.impdesc e_StdOverloaded_r+;
.record k14 d{a}aaa 4 0 e_StdOverloaded_r+; "Add"
.impdesc e_StdOverloaded_r==;
.record k15 d{a}aaa 4 0 e_StdOverloaded_r==; "Eq"
.export __expr_gadt_Start
.o 0 0
__expr_gadt_Start
	build _ 0 n4
.d 1 0
	jmp _driver
.n 0 _
.o 1 0
n4
	push_node _cycle_in_spine 0
.d 0 0
	jsr ea4
.o 0 1 i
	fillI_b 0 0
	pop_b 1
.d 1 0
	rtn
.o 0 0
ea4
.o 0 0
s4
	buildh e_StdString_dtoString;5 0
	create
	buildI 42
	push_a 2
	update_a 2 3
	update_a 1 2
	update_a 0 1
	pop_a 1
.d 3 0
	jsr s2
.o 1 0
.d 1 0
	jsr s3
.o 1 0
	pushI_a 0
	pop_a 1
.d 0 1 i
	rtn
.o 3 0
s2
	build _ 0 n1
	push_a 2
	push_a 2
	push_a 2
	update_a 2 3
	update_a 0 2
	pop_a 1
	fill_r k13 3 0 5 0 0
	pop_a 5
.d 1 0
	rtn
.n 0 _
.o 1 0
n1
	push_node _cycle_in_spine 0
.o 0 0
ea1
	buildh e_StdFunctions_did 0
	buildh e_StdFunctions_did 0
	buildh e_StdFunctions_did 0
	buildh e_StdFunctions_did 0
	fill_r r7 4 0 4 0 0
	pop_a 4
.d 1 0
	rtn
.n 1 _ _
.o 1 0
n3
	push_node _cycle_in_spine 1
.d 1 0
	jsr ea3
.o 1 0
	fill_a 0 1
	pop_a 1
.d 1 0
	rtn
.o 1 0
ea3
	jsr_eval 0
.o 1 0
s3
	pushD_a 0
	jmpD ea k14 0 case.2 case.3
case.1
	pop_b 1
	repl_args 3 3
	pop_a 1
	jsr_eval 0
	push_r_args_a 0 4 0 2 1
	jsr_eval 0
	push_a 2
	push_a 1
	update_a 1 2
	update_a 0 1
	pop_a 1
	update_a 1 3
	updatepop_a 0 2
	jmp_ap 1
case.2
	pop_b 1
	repl_args 4 4
	push_a 3
	build _ 1 n3
	push_a 3
	build _ 1 n3
	push_a 2
	build _ 3 n16
	jsr_eval 2
	push_r_args_a 2 4 0 2 1
	jsr_eval 0
	update_a 1 5
	updatepop_a 0 4
	jmp_ap 1
case.3
	pop_b 1
	repl_args 4 4
	push_a 3
	build _ 1 n3
	push_a 3
	build _ 1 n3
	push_a 2
	build _ 3 n17
	jsr_eval 2
	push_r_args_a 2 4 0 2 1
	jsr_eval 0
	update_a 1 5
	updatepop_a 0 4
	jmp_ap 1
.n 3 _ ea17
.o 1 0
n17
	push_node _cycle_in_spine 3
.o 4 0
ea17
.o 4 0
s17
	push_a 2
	jsr_eval 0
	push_a 2
	jsr_eval 0
	push_a 2
	jsr_eval 0
	update_a 2 5
	update_a 1 4
	updatepop_a 0 3
.d 3 0
	jsr_i 2
.o 0 1 b
	fillB_b 0 0
	pop_b 1
.d 1 0
	rtn
.n 3 _ ea16
.o 1 0
n16
	push_node _cycle_in_spine 3
.o 4 0
ea16
.o 4 0
s16
	push_a 2
	jsr_eval 0
	push_a 2
	jsr_eval 0
	push_a 2
	jsr_eval 0
	update_a 2 5
	update_a 1 4
	updatepop_a 0 3
.d 3 0
	jsr_i 2
.o 1 0
	fill_a 0 1
	pop_a 1
.d 1 0
	rtn