diff options
Diffstat (limited to 'testsuite/tests/programs/joao-circular/Visfun_Lazy.hs')
| -rw-r--r-- | testsuite/tests/programs/joao-circular/Visfun_Lazy.hs | 1145 |
1 files changed, 1145 insertions, 0 deletions
diff --git a/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs b/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs new file mode 100644 index 0000000000..fa768999c0 --- /dev/null +++ b/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs @@ -0,0 +1,1145 @@ +module Visfun_Lazy where +import Data_Lazy +import LrcPrelude +-- +-- Lazy Circular Evaluator Functions +-- +lrcEval = visit_P +visit_P (C_RootProd_1 t_Defs ) x_pw = (x_code , x_errlst , x_typeerrors , x_uu_pp ) + where + x_uu_pp = x_fmts_2 + x_typeerrors = x_typeerrors_1 + x_errlst = x_errlst_1 + x_code = ((((:) C_Data_1 (gen_data_mem x_declsout_1))++x_declscode_1)++(((:) C_Cod_1 (genCodeMainFun ))++x_code_1)) + x_infun_1 = 0 + x_env_1 = x_declsout_1 + x_declsin_1 = (lrc_empty_map (C_EmptyEntry_1 )) + x_pw_2 = x_pw + t_uu_pp = (C_Best_1 x_uu_pp_1) + (x_code_1 , x_declscode_1 , x_declsout_1 , x_errlst_1 , x_outfun_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Defs t_Defs x_declsin_1 x_env_1 x_infun_1 + (x_fmts_2 ) = visit_PPRoot t_uu_pp x_pw_2 +visit_Defs (C_Defs2_1 t_Def t_Defs_2 ) x_declsin x_env x_infun = (x_code , x_declscode , x_declsout , x_errlst , x_outfun , x_typeerrors , x_uu_pp ) + where + x_infun_2 = x_outfun_1 + x_env_2 = x_env + x_declsin_2 = x_declsout_1 + x_uu_pp = (C_Above_1 x_uu_pp_1 x_uu_pp_2) + x_typeerrors = (x_typeerrors_1++x_typeerrors_2) + x_outfun = x_outfun_2 + x_errlst = (x_errlst_1++x_errlst_2) + x_declsout = x_declsout_2 + x_declscode = (x_declscode_1++x_declscode_2) + x_code = (x_code_1++x_code_2) + x_infun_1 = x_infun + x_env_1 = x_env + x_declsin_1 = x_declsin + (x_code_1 , x_declscode_1 , x_declsout_1 , x_errlst_1 , x_outfun_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Def t_Def x_declsin_1 x_env_1 x_infun_1 + (x_code_2 , x_declscode_2 , x_declsout_2 , x_errlst_2 , x_outfun_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Defs t_Defs_2 x_declsin_2 x_env_2 x_infun_2 +visit_Defs (C_NoDefs_1 ) x_declsin x_env x_infun = (x_code , x_declscode , x_declsout , x_errlst , x_outfun , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Empty_1 ) + x_typeerrors = ([] ) + x_outfun = x_infun + x_errlst = ([] ) + x_declsout = x_declsin + x_declscode = ([] ) + x_code = ([] ) +visit_Def (C_Arraydecl_1 t_Type t_Name t_INT ) x_declsin x_env x_infun = (x_code , x_declscode , x_declsout , x_errlst , x_outfun , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 (ppType t_Type) (C_Beside_1 (C_Text_1 " = ") (C_Beside_1 (ppName t_Name) (C_Text_1 (("["++(lrc_INTtoSTR t_INT))++"]"))))) + x_typeerrors = ([] ) + x_outfun = x_infun + x_errlst = (if (lrc_map_in t_Name x_declsin) then ((:) (C_E_Name_AD_1 t_Name) ([] )) else ([] )) + x_declsout = (if (lrc_map_in t_Name x_declsin) then x_declsin else (lrc_map_single_update t_Name (C_Consarray_1 t_Type t_INT x_infun) x_declsin)) + x_declscode = ((:) (C_Var_1 (C_Ident_1 ((nametoSTR t_Name)++(lrc_INTtoSTR x_infun))) t_INT t_Type) ([] )) + x_code = ([] ) +visit_Def (C_Declfunc_1 t_Type t_Name t_FormPars t_Stats ) x_declsin x_env x_infun = (x_code , x_declscode , x_declsout , x_errlst , x_outfun , x_typeerrors , x_uu_pp ) + where + x_nlabeli_4 = 1 + x_infun_4 = (x_infun+1) + x_fid_4 = t_Name + x_envi_4 = x_env + x_uu_pp = (func_def_a_la_c (ppType t_Type) (ppName t_Name) x_uu_pp_3 x_uu_pp_4) + x_typeerrors = x_typeerrors_4 + x_outfun = (x_infun+1) + x_errlst = (x_err_aux++x_errlst_4) + x_declsout = (if (lrc_map_in t_Name x_declsin) then x_declsin else (lrc_map_single_update t_Name (C_Consfunc_1 t_Type x_infun x_lst_params_3) x_declsin)) + x_declscode = (((:) (C_Var_1 (C_Ident_1 ((nametoSTR t_Name)++(lrc_INTtoSTR x_infun))) 1 t_Type) (gen_code_func x_infun_4 x_lst_params_3))++x_declscode_4) + x_code = (((:) (C_ALabel_1 t_Name) x_code_4)++((:) (C_Ret_1 ) [])) + x_error = (if (lrc_map_in t_Name x_declsin) then "" else " <- id already defined!") + x_err_aux = (if (lrc_map_in t_Name x_declsin) then ((:) (C_E_Name_AD_1 t_Name) x_errlst_3) else x_errlst_3) + (x_errlst_3 , x_lst_params_3 , x_uu_pp_3 ) = visit_FormPars t_FormPars + (x_code_4 , x_declscode_4 , x_envo_4 , x_errlst_4 , x_nlabelo_4 , x_typeerrors_4 , x_uu_pp_4 ) = visit_Stats t_Stats x_envi_4 x_fid_4 x_infun_4 x_nlabeli_4 +visit_Def (C_Declfunc_header_1 t_Type t_Name t_FormPars t_Stats ) x_declsin x_env x_infun = (x_code , x_declscode , x_declsout , x_errlst , x_outfun , x_typeerrors , x_uu_pp ) + where + x_nlabeli_4 = 1 + x_infun_4 = (x_infun+1) + x_fid_4 = t_Name + x_envi_4 = x_env + x_uu_pp = (C_Empty_1 ) + x_typeerrors = x_typeerrors_4 + x_outfun = (x_infun+1) + x_errlst = (x_err_aux++x_errlst_4) + x_declsout = (if (lrc_map_in t_Name x_declsin) then x_declsin else (lrc_map_single_update t_Name (C_Consfunc_1 t_Type x_infun x_lst_params_3) x_declsin)) + x_declscode = (((:) (C_Var_1 (C_Ident_1 ((nametoSTR t_Name)++(lrc_INTtoSTR x_infun))) 1 t_Type) (gen_code_func x_infun_4 x_lst_params_3))++x_declscode_4) + x_code = (((:) (C_ALabel_1 t_Name) x_code_4)++((:) (C_Ret_1 ) [])) + x_error = (if (lrc_map_in t_Name x_declsin) then "" else " <- id already defined!") + x_err_aux = (if (lrc_map_in t_Name x_declsin) then ((:) (C_E_Name_AD_1 t_Name) x_errlst_3) else x_errlst_3) + (x_errlst_3 , x_lst_params_3 , x_uu_pp_3 ) = visit_FormPars t_FormPars + (x_code_4 , x_declscode_4 , x_envo_4 , x_errlst_4 , x_nlabelo_4 , x_typeerrors_4 , x_uu_pp_4 ) = visit_Stats t_Stats x_envi_4 x_fid_4 x_infun_4 x_nlabeli_4 +visit_Def (C_Declfunc_header_novar_1 t_Type t_Name t_FormPars t_Stats ) x_declsin x_env x_infun = (x_code , x_declscode , x_declsout , x_errlst , x_outfun , x_typeerrors , x_uu_pp ) + where + x_nlabeli_4 = 1 + x_infun_4 = (x_infun+1) + x_fid_4 = t_Name + x_envi_4 = x_env + x_uu_pp = (C_Empty_1 ) + x_typeerrors = x_typeerrors_4 + x_outfun = (x_infun+1) + x_errlst = (x_err_aux++x_errlst_4) + x_declsout = (if (lrc_map_in t_Name x_declsin) then x_declsin else (lrc_map_single_update t_Name (C_Consfunc_1 t_Type x_infun x_lst_params_3) x_declsin)) + x_declscode = (((:) (C_Var_1 (C_Ident_1 ((nametoSTR t_Name)++(lrc_INTtoSTR x_infun))) 1 t_Type) (gen_code_func x_infun_4 x_lst_params_3))++x_declscode_4) + x_code = (((:) (C_ALabel_1 t_Name) x_code_4)++((:) (C_Ret_1 ) [])) + x_error = (if (lrc_map_in t_Name x_declsin) then "" else " <- id already defined!") + x_err_aux = (if (lrc_map_in t_Name x_declsin) then ((:) (C_E_Name_AD_1 t_Name) x_errlst_3) else x_errlst_3) + (x_errlst_3 , x_lst_params_3 , x_uu_pp_3 ) = visit_FormPars t_FormPars + (x_code_4 , x_declscode_4 , x_envo_4 , x_errlst_4 , x_nlabelo_4 , x_typeerrors_4 , x_uu_pp_4 ) = visit_Stats t_Stats x_envi_4 x_fid_4 x_infun_4 x_nlabeli_4 +visit_Def (C_Vardecl_1 t_Type t_Name ) x_declsin x_env x_infun = (x_code , x_declscode , x_declsout , x_errlst , x_outfun , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 (ppType t_Type) (C_Beside_1 (C_Text_1 " = ") (ppName t_Name))) + x_typeerrors = ([] ) + x_outfun = x_infun + x_errlst = (if (lrc_map_in t_Name x_declsin) then ((:) (C_E_Name_AD_1 t_Name) ([] )) else ([] )) + x_declsout = (if (lrc_map_in t_Name x_declsin) then x_declsin else (lrc_map_single_update t_Name (C_Consvar_1 t_Type x_infun) x_declsin)) + x_declscode = ((:) (C_Var_1 (C_Ident_1 ((nametoSTR t_Name)++(lrc_INTtoSTR x_infun))) 1 t_Type) ([] )) + x_code = ([] ) +visit_Type (C_Booltype_1 ) = () +visit_Type (C_Chartype_1 ) = () +visit_Type (C_Errortype_1 ) = () +visit_Type (C_Inttype_1 ) = () +visit_Type (C_Realtype_1 ) = () +visit_Name (C_Ident_1 t_STR ) = () +visit_FormPars (C_Emptyformpars_1 ) = (x_errlst , x_lst_params , x_uu_pp ) + where + x_uu_pp = (C_Text_1 "") + x_lst_params = ([] ) + x_errlst = ([] ) +visit_FormPars (C_Lstformpars_1 t_FormPar t_FormPars_2 ) = (x_errlst , x_lst_params , x_uu_pp ) + where + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 ",") x_uu_pp_2)) + x_lst_params = (x_one_param_1++x_lst_params_2) + x_errlst = (if (isinlst x_parname_1 x_lst_params_2) then ((:) (C_E_FormParam_AD_1 x_parname_1) x_errlst_2) else x_errlst_2) + (x_one_param_1 , x_parname_1 , x_uu_pp_1 ) = visit_FormPar t_FormPar + (x_errlst_2 , x_lst_params_2 , x_uu_pp_2 ) = visit_FormPars t_FormPars_2 +visit_FormPar (C_Declformpar_1 t_Type t_Name ) = (x_one_param , x_parname , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 (ppType t_Type) (C_Beside_1 (C_Text_1 " ") (ppName t_Name))) + x_parname = t_Name + x_one_param = ((:) (C_AParam_1 t_Type t_Name) ([] )) +visit_Stats (C_Emptystat_1 ) x_envi x_fid x_infun x_nlabeli = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Empty_1 ) + x_typeerrors = ([] ) + x_nlabelo = x_nlabeli + x_errlst = ([] ) + x_envo = x_envi + x_declscode = ([] ) + x_code = [] +visit_Stats (C_Lststats_1 t_Stat t_Stats_2 ) x_envi x_fid x_infun x_nlabeli = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_nlabeli_2 = x_nlabelo_1 + x_infun_2 = x_infun + x_fid_2 = x_fid + x_envi_2 = x_envo_1 + x_uu_pp = (C_Above_1 (C_Beside_1 x_uu_pp_1 (C_Text_1 ";")) x_uu_pp_2) + x_typeerrors = (x_typeerrors_1++x_typeerrors_2) + x_nlabelo = x_nlabelo_2 + x_errlst = (x_errlst_1++x_errlst_2) + x_envo = x_envo_2 + x_declscode = (x_declscode_1++x_declscode_2) + x_code = (x_code_1++x_code_2) + x_upw_Stats_infun_1 = x_infun + x_nlabeli_1 = x_nlabeli + x_infun_1 = x_infun + x_fid_1 = x_fid + x_envi_1 = x_envi + (x_code_1 , x_declscode_1 , x_envo_1 , x_errlst_1 , x_nlabelo_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Stat t_Stat x_envi_1 x_fid_1 x_infun_1 x_nlabeli_1 x_upw_Stats_infun_1 + (x_code_2 , x_declscode_2 , x_envo_2 , x_errlst_2 , x_nlabelo_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Stats t_Stats_2 x_envi_2 x_fid_2 x_infun_2 x_nlabeli_2 +visit_Stat (C_ArrAssign_1 t_ArrayUse t_Exp ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 x_uu_pp_1 (C_Beside_1 (C_Text_1 "[") (C_Beside_1 x_uu_pp_2 (C_Beside_1 (C_Text_1 "] = ") x_uu_pp_2)))) + x_typeerrors = (if (typecheck x_an_1 x_type_2 x_fid x_envi) then x_typeerrors_2 else ((:) (C_E_T_DT_1 x_an_1) x_typeerrors_2)) + x_nlabelo = x_nlabeli + x_errlst = (x_errlst_1++x_errlst_2) + x_envo = x_envi + x_declscode = ([] ) + x_code = (x_code_1++x_code_2) + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_envi + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_envi + (x_an_1 , x_code_1 , x_errlst_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_ArrayUse t_ArrayUse x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Stat (C_Assign_1 t_Name t_Exp ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 (ppName t_Name) (C_Beside_1 (C_Text_1 " = ") x_uu_pp_2)) + x_typeerrors = (if (x_typerr==(C_NoTypeError_1 )) then x_typeerrors_2 else ((:) x_typerr x_typeerrors_2)) + x_nlabelo = x_nlabeli + x_errlst = (if (isinenv t_Name x_fid x_envi) then x_errlst_2 else ((:) (C_E_Name_ND_1 t_Name) x_errlst_2)) + x_envo = x_envi + x_declscode = ([] ) + x_code = (((:) (C_Pusha_1 t_Name x_infun) x_code_2)++((:) (C_Store_1 ) ([] ))) + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_envi + x_typerr = (assign_InfType t_Name x_type_2 x_fid x_envi) + x_error = (if (isinenv t_Name x_fid x_envi) then ([] ) else ((:) (C_E_Name_ND_1 t_Name) ([] ))) + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Stat (C_Funccall_1 t_Name t_ActPars ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (funccall (ppName t_Name) x_uu_pp_2) + x_typeerrors = (checkactparams t_Name x_act_params_2 x_envi) + x_nlabelo = x_nlabeli + x_errlst = (if (lrc_map_in t_Name x_envi) then x_errlst_2 else ((:) (C_E_Fun_ND_1 t_Name) x_errlst_2)) + x_envo = x_envi + x_declscode = ([] ) + x_code = (gen_code_func_inv t_Name x_envi x_code_2) + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_envi + x_error = (if (lrc_map_in t_Name x_envi) then ([] ) else ((:) (C_E_Fun_ND_1 t_Name) ([] ))) + (x_act_params_2 , x_code_2 , x_errlst_2 , x_uu_pp_2 ) = visit_ActPars t_ActPars x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Stat (C_If_t_e_1 t_Exp t_Stats t_Stats_2 ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_nlabeli_3 = (x_nlabeli+1) + x_infun_3 = x_infun + x_fid_3 = x_fid + x_envi_3 = x_envi + x_nlabeli_2 = x_nlabelo_3 + x_infun_2 = x_infun + x_fid_2 = x_fid + x_envi_2 = x_envi + x_uu_pp = (if_t_ePP x_uu_pp_1 x_uu_pp_2 x_uu_pp_3) + x_typeerrors = (if (x_typerr==(C_NoTypeError_1 )) then ((x_typeerrors_1++x_typeerrors_2)++x_typeerrors_3) else ((:) x_typerr ((x_typeerrors_1++x_typeerrors_2)++x_typeerrors_3))) + x_nlabelo = x_nlabelo_2 + x_errlst = ((x_errlst_1++x_errlst_2)++x_errlst_3) + x_envo = x_envi + x_declscode = (x_declscode_2++x_declscode_3) + x_code = (gen_code_ite x_nlabeli x_code_1 x_code_2 x_code_3) + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_envi + x_typerr = (if (isboolexp x_type_1) then (C_NoTypeError_1 ) else (C_E_T_if_t_e_1 )) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_declscode_2 , x_envo_2 , x_errlst_2 , x_nlabelo_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Stats t_Stats x_envi_2 x_fid_2 x_infun_2 x_nlabeli_2 + (x_code_3 , x_declscode_3 , x_envo_3 , x_errlst_3 , x_nlabelo_3 , x_typeerrors_3 , x_uu_pp_3 ) = visit_Stats t_Stats_2 x_envi_3 x_fid_3 x_infun_3 x_nlabeli_3 +visit_Stat (C_Input_1 t_Name ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 (C_Text_1 "input ") (ppName t_Name)) + x_typeerrors = ([] ) + x_nlabelo = x_nlabeli + x_errlst = (if (isinenv t_Name x_fid x_envi) then ([] ) else ((:) (C_E_Name_ND_1 t_Name) ([] ))) + x_envo = x_envi + x_declscode = ([] ) + x_code = ((:) (C_Pusha_1 t_Name x_upw_Stats_infun) ((:) (C_IIn_1 ) ((:) (C_Store_1 ) ([] )))) +visit_Stat (C_LocalDecl_1 t_Type t_Name ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 (ppType t_Type) (C_Beside_1 (C_Text_1 " ") (ppName t_Name))) + x_typeerrors = ([] ) + x_nlabelo = x_nlabeli + x_errlst = (if (lrc_map_in t_Name x_envi) then ((:) (C_E_Loc_Name_AD_1 t_Name) ([] )) else ([] )) + x_envo = (if (lrc_map_in t_Name x_envi) then x_envi else (lrc_map_single_update t_Name (C_Consvar_1 t_Type x_infun) x_envi)) + x_declscode = ((:) (C_Var_1 t_Name x_infun t_Type) ([] )) + x_code = ([] ) +visit_Stat (C_Print_1 t_Exp ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Beside_1 (C_Text_1 "print ") x_uu_pp_1) + x_typeerrors = x_typeerrors_1 + x_nlabelo = x_nlabeli + x_errlst = x_errlst_1 + x_envo = x_envi + x_declscode = ([] ) + x_code = (x_code_1++((:) (C_IOut_1 ) ([] ))) + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_envi + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp x_env_1 x_fid_1 x_upw_Stats_infun_1 +visit_Stat (C_While_1 t_Exp t_Stats ) x_envi x_fid x_infun x_nlabeli x_upw_Stats_infun = (x_code , x_declscode , x_envo , x_errlst , x_nlabelo , x_typeerrors , x_uu_pp ) + where + x_nlabeli_2 = (x_nlabeli+1) + x_infun_2 = x_infun + x_fid_2 = x_fid + x_envi_2 = x_envi + x_uu_pp = (whilePP (C_Text_1 "while ") x_uu_pp_1 x_uu_pp_2) + x_typeerrors = (if (x_typerr==(C_NoTypeError_1 )) then (x_typeerrors_1++x_typeerrors_2) else ((:) x_typerr (x_typeerrors_1++x_typeerrors_2))) + x_nlabelo = x_nlabelo_2 + x_errlst = (x_errlst_1++x_errlst_2) + x_envo = x_envi + x_declscode = x_declscode_2 + x_code = (gen_code_while x_nlabeli x_code_1 x_code_2) + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_envi + x_typerr = (if (isboolexp x_type_1) then (C_NoTypeError_1 ) else (C_E_T_while_1 )) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_declscode_2 , x_envo_2 , x_errlst_2 , x_nlabelo_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Stats t_Stats x_envi_2 x_fid_2 x_infun_2 x_nlabeli_2 +visit_ArrayUse (C_ArrayInd_1 t_Name t_Exp ) x_env x_fid x_upw_Stats_infun = (x_an , x_code , x_errlst , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_uu_pp = (C_Beside_1 (ppName t_Name) (C_Beside_1 (C_Text_1 "[") (C_Beside_1 x_uu_pp_2 (C_Text_1 "]")))) + x_typeerrors = (if (isinttype x_type_2) then x_typeerrors_2 else ((:) (C_E_T_IndArrNotInt_1 ) x_typeerrors_2)) + x_errlst = (if x_noerror then x_errlst_2 else ((:) (C_E_Name_ND_1 t_Name) x_errlst_2)) + x_code = x_code_2 + x_an = t_Name + x_noerror = (isinenv t_Name x_fid x_env) + x_error = (if x_noerror then ([] ) else ((:) (C_E_Name_ND_1 t_Name) ([] ))) + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_AddExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " + ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 1 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Add_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_AndExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " && ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 2 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_And_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_DivExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " / ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 1 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Div_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_EqExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " == ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 2 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Eq_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_Factor_1 t_Fac ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = x_uu_pp_1 + x_typeerrors = x_typeerrors_1 + x_type = x_type_1 + x_errlst = x_errlst_1 + x_code = x_code_1 + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Fac t_Fac x_env_1 x_fid_1 x_upw_Stats_infun_1 +visit_Exp (C_GTExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " > ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 2 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Gt_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_LTExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " < ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 2 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Lt_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_MinExp_1 t_Exp_2 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (C_Beside_1 (C_Text_1 " - ") x_uu_pp_1) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_NotArithExp_1 ) x_typeerrors_1) else x_typeerrors_1) + x_type = (if (isaritmexp x_type_1) then x_type_1 else (C_Errortype_1 )) + x_errlst = x_errlst_1 + x_code = (x_code_1++((:) (C_Minus_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 +visit_Exp (C_MulExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " * ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 1 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Mul_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_NotExp_1 t_Exp_2 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (C_Beside_1 (C_Text_1 " ! ") x_uu_pp_1) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_NotBooleanExp_1 ) x_typeerrors_1) else x_typeerrors_1) + x_type = (if (isboolexp x_type_1) then x_type_1 else (C_Errortype_1 )) + x_errlst = x_errlst_1 + x_code = (x_code_1++((:) (C_Not_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 +visit_Exp (C_OrExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " || ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 2 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Or_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Exp (C_SubExp_1 t_Exp_2 t_Exp_3 ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_uu_pp = (hv x_uu_pp_1 (C_Beside_1 (C_Text_1 " - ") x_uu_pp_2)) + x_typeerrors = (if (x_type==(C_Errortype_1 )) then ((:) (C_E_T_BOP_1 ) (x_typeerrors_1++x_typeerrors_2)) else (x_typeerrors_1++x_typeerrors_2)) + x_type = (infType 1 x_type_1 x_type_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((x_code_1++x_code_2)++((:) (C_Sub_1 ) ([] ))) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp_2 x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_code_2 , x_errlst_2 , x_type_2 , x_typeerrors_2 , x_uu_pp_2 ) = visit_Exp t_Exp_3 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Fac (C_ArrayConst_1 t_ArrayUse ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_uu_pp = x_uu_pp_1 + x_typeerrors = x_typeerrors_1 + x_type = (gettype x_an_1 x_fid x_env) + x_errlst = x_errlst_1 + x_code = x_code_1 + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + (x_an_1 , x_code_1 , x_errlst_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_ArrayUse t_ArrayUse x_env_1 x_fid_1 x_upw_Stats_infun_1 +visit_Fac (C_BoolConst_1 t_BOOL ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Text_1 (if t_BOOL then "true" else "false") ) + x_typeerrors = ([] ) + x_type = (C_Booltype_1 ) + x_errlst = ([] ) + x_code = ((:) (C_Pushb_1 t_BOOL) ([] )) +visit_Fac (C_CNIdent_1 t_Name ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (ppName t_Name) + x_typeerrors = ([] ) + x_type = (gettype t_Name x_fid x_env) + x_errlst = (if (isinenv t_Name x_fid x_env) then ([] ) else ((:) (C_E_Name_ND_1 t_Name) ([] ))) + x_code = ((:) (C_Pusha_1 t_Name x_upw_Stats_infun) ((:) (C_Load_1 ) ([] ))) +visit_Fac (C_Expr_1 t_Exp ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_uu_pp = x_uu_pp_1 + x_typeerrors = x_typeerrors_1 + x_type = x_type_1 + x_errlst = x_errlst_1 + x_code = x_code_1 + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp x_env_1 x_fid_1 x_upw_Stats_infun_1 +visit_Fac (C_Funcinv_1 t_Name t_ActPars ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (funccall (ppName t_Name) x_uu_pp_2) + x_typeerrors = (checkactparams t_Name x_act_params_2 x_env) + x_type = (gettype t_Name x_fid x_env) + x_errlst = (x_error++x_errlst_2) + x_code = (gen_code_func_inv t_Name x_env x_code_2) + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_noerror = (lrc_map_in t_Name x_env) + x_error = (if x_noerror then ([] ) else ((:) (C_E_Fun_ND_1 t_Name) ([] ))) + (x_act_params_2 , x_code_2 , x_errlst_2 , x_uu_pp_2 ) = visit_ActPars t_ActPars x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_Fac (C_IntConst_1 t_INT ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Text_1 (lrc_INTtoSTR t_INT)) + x_typeerrors = ([] ) + x_type = (C_Inttype_1 ) + x_errlst = ([] ) + x_code = ((:) (C_Pushi_1 t_INT) ([] )) +visit_Fac (C_RealConst_1 t_REAL ) x_env x_fid x_upw_Stats_infun = (x_code , x_errlst , x_type , x_typeerrors , x_uu_pp ) + where + x_uu_pp = (C_Text_1 (lrc_REALtoSTR t_REAL)) + x_typeerrors = ([] ) + x_type = (C_Realtype_1 ) + x_errlst = ([] ) + x_code = ((:) (C_Pushr_1 t_REAL) ([] )) +visit_ActPars (C_Emptyactpars_1 ) x_env x_fid x_upw_Stats_infun = (x_act_params , x_code , x_errlst , x_uu_pp ) + where + x_uu_pp = (C_Empty_1 ) + x_errlst = ([] ) + x_code = ([] ) + x_act_params = ([] ) +visit_ActPars (C_Lstactpars_1 t_Exp t_ActPars_2 ) x_env x_fid x_upw_Stats_infun = (x_act_params , x_code , x_errlst , x_uu_pp ) + where + x_upw_Stats_infun_1 = x_upw_Stats_infun + x_fid_1 = x_fid + x_env_1 = x_env + x_upw_Stats_infun_2 = x_upw_Stats_infun + x_fid_2 = x_fid + x_env_2 = x_env + x_uu_pp = (hv x_uu_pp_1 x_uu_pp_2) + x_errlst = (x_errlst_1++x_errlst_2) + x_code = ((:) x_code_1 x_code_2) + x_act_params = ((:) x_type_1 x_act_params_2) + (x_code_1 , x_errlst_1 , x_type_1 , x_typeerrors_1 , x_uu_pp_1 ) = visit_Exp t_Exp x_env_1 x_fid_1 x_upw_Stats_infun_1 + (x_act_params_2 , x_code_2 , x_errlst_2 , x_uu_pp_2 ) = visit_ActPars t_ActPars_2 x_env_2 x_fid_2 x_upw_Stats_infun_2 +visit_PPRoot (C_All_1 t_PPS ) x_pw = (x_fmts ) + where + x_frame_1 = (C_F_1 x_pw x_pw) + x_fmts = (eq_all_fmts x_pw x_fmts_1) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS x_frame_1 +visit_PPRoot (C_Best_1 t_PPS ) x_pw = (x_fmts ) + where + x_frame_1 = (C_F_1 x_pw x_pw) + x_fmts = (eq_best_fmts x_pw x_fmts_1) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS x_frame_1 +visit_PPS (C_Above_1 t_PPS_2 t_PPS_3 ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_frame_2 = x_frame + x_frame_1 = x_frame + x_minw = (max x_minw_1 x_minw_2) + x_minll = x_minll_2 + x_maxh = (x_maxh_1+x_maxh_2) + x_fmts = (fst_Pair_T_Formats x_fe) + x_error = ((x_error_1||x_error_2)||x_aerror) + x_fe = (set_fmts_above x_fmts_1 x_fmts_2 x_maxh_1 x_maxh_2) + x_aerror = (snd_Pair_T_Formats x_fe) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS_2 x_frame_1 + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 ) = visit_PPS t_PPS_3 x_frame_2 +visit_PPS (C_Apply_1 t_PPC t_PPSArgs ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_reqs_2 = x_reqs_1 + x_minw = (set_var_apply x_error_cond x_lem x_minw_1) + x_minll = (set_var_apply x_error_cond x_lem x_minll_1) + x_maxh = (set_var_apply x_error_cond 1 x_maxh_1) + x_fmts = (eq_set_fmts_apply x_error_cond x_error_msg x_fmts_1) + x_error = x_l_error + x_frame_1 = x_frame + x_fillmins_1 = x_mins_2 + x_fillfmts_1 = x_fmts_2 + x_fillerrs_1 = x_error_2 + x_lem = (fromIntegral (length x_error_msg)) + x_l_error = (if x_error_cond then True else x_error_1) + x_error_msg = (set_error_msg x_numpars_1 x_len_2) + x_error_cond = (x_numpars_1/=x_len_2) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 , x_numpars_1 , x_reqs_1 ) = visit_PPC t_PPC x_fillerrs_1 x_fillfmts_1 x_fillmins_1 x_frame_1 + (x_error_2 , x_fmts_2 , x_len_2 , x_mins_2 ) = visit_PPSArgs t_PPSArgs x_reqs_2 +visit_PPS (C_Beside_1 t_PPS_2 t_PPS_3 ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_frame_2 = (narrow_frame x_minll_1 x_frame) + x_frame_1 = (narrow_ll x_minw_2 x_frame) + x_minw = (max x_minw_1 (x_minll_1+x_minw_2)) + x_minll = (x_minll_1+x_minll_2) + x_maxh = (beside_height x_maxh_1 x_maxh_2) + x_fmts = (fst_Pair_T_Formats x_fe) + x_error = (x_l_error||x_berror) + x_l_error = (x_error_1||x_error_2) + x_fe = (set_fmts_beside x_fmts_1 x_fmts_2 x_maxh_1 x_maxh_2 x_frame x_l_error) + x_berror = (snd_Pair_T_Formats x_fe) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS_2 x_frame_1 + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 ) = visit_PPS t_PPS_3 x_frame_2 +visit_PPS (C_Dup_1 t_PPS_2 t_PPS_3 ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_frame_2 = x_frame + x_frame_1 = x_frame + x_minw = x_l_minw + x_minll = (min x_minll_1 x_minll_2) + x_maxh = (max x_maxh_1 x_maxh_2) + x_fmts = (sem_fmts_dup x_fmts_1 x_fmts_2 x_error_1 x_error_2 x_l_minw) + x_error = x_l_error + x_l_minw = (min x_minw_1 x_minw_2) + x_l_error = (x_error_1 && x_error_2) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS_2 x_frame_1 + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 ) = visit_PPS t_PPS_3 x_frame_2 +visit_PPS (C_Empty_1 ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_minw = 0 + x_minll = 0 + x_maxh = 0 + x_fmts = (set_fmts_empty ) + x_error = False +visit_PPS (C_FillBlock_1 t_INT t_FillList ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_minw = x_minw_2 + x_minll = x_minll_2 + x_maxh = x_maxh_2 + x_fmts = (set_fmts_fillblock t_INT x_fmts_2 x_l_pw) + x_error = (((t_INT<0)||(t_INT>x_l_pw))||x_error_2) + x_pw_2 = t_INT + x_minwi_2 = 0 + x_minlli_2 = 0 + x_maxhi_2 = 0 + x_frame_2 = (C_F_1 t_INT t_INT) + x_fmtsi_2 = (empty_fmts ) + x_errori_2 = False + x_l_pw = case x_frame of { (C_F_1 w _) -> w } + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 ) = visit_FillList t_FillList x_errori_2 x_fmtsi_2 x_frame_2 x_maxhi_2 x_minlli_2 x_minwi_2 x_pw_2 +visit_PPS (C_Filla_1 t_FillList ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_minw = x_minw_1 + x_minll = x_minll_1 + x_maxh = x_maxh_1 + x_fmts = (eq_set_fmts_fill x_fmts_1) + x_error = x_error_1 + x_pw_1 = x_l_pw + x_minwi_1 = 0 + x_minlli_1 = 0 + x_maxhi_1 = 0 + x_frame_1 = (C_F_1 x_l_pw x_l_pw) + x_fmtsi_1 = (empty_fmts ) + x_errori_1 = False + x_l_pw = case x_frame of { (C_F_1 w _) -> w } + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_FillList t_FillList x_errori_1 x_fmtsi_1 x_frame_1 x_maxhi_1 x_minlli_1 x_minwi_1 x_pw_1 +visit_PPS (C_Indent_1 t_INT t_PPS_2 ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_frame_2 = (narrow_frame t_INT x_frame) + x_minw = x_l_minw + x_minll = (t_INT+x_minll_2) + x_maxh = x_maxh_2 + x_fmts = (set_fmts_indent t_INT x_fmts_2 x_pw x_l_minw x_frame x_error_2) + x_error = (((t_INT<0)||(t_INT>x_pw))||x_error_2) + x_pw = case x_frame of { (C_F_1 w _) -> w } + x_l_minw = (t_INT+x_minw_2) + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 ) = visit_PPS t_PPS_2 x_frame_2 +visit_PPS (C_Join_1 t_PPS_2 ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_frame_1 = x_frame + x_minw = x_minw_1 + x_minll = x_minll_1 + x_maxh = x_maxh_1 + x_fmts = (fst_Pair_T_Formats x_fe) + x_error = (x_error_1||x_jerror) + x_jerror = (snd_Pair_T_Formats x_fe) + x_fe = (set_fmts_join x_fmts_1 x_error_1) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS_2 x_frame_1 +visit_PPS (C_Text_1 t_STR ) x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_minw = x_l_minw + x_minll = x_l_minw + x_maxh = 1 + x_fmts = (set_fmts_text t_STR x_l_minw x_l_error) + x_error = x_l_error + x_pw = case x_frame of { (C_F_1 w _) -> w } + x_l_minw = (fromIntegral (length t_STR)) + x_l_error = (x_l_minw>x_pw) +visit_PPC (C_AboveC_1 t_PPC_2 t_PPC_3 ) x_fillerrs x_fillfmts x_fillmins x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw , x_numpars , x_reqs ) + where + x_frame_2 = x_frame + x_fillmins_2 = (snd_Pair_Lst_T_Mins x_i) + x_fillfmts_2 = (snd_Pair_Lst_T_Fmts x_m) + x_fillerrs_2 = (snd_Pair_Lst_T_Errs x_e) + x_frame_1 = x_frame + x_fillmins_1 = (fst_Pair_Lst_T_Mins x_i) + x_fillfmts_1 = (fst_Pair_Lst_T_Fmts x_m) + x_fillerrs_1 = (fst_Pair_Lst_T_Errs x_e) + x_reqs = (x_reqs_1++x_reqs_2) + x_numpars = (x_numpars_1+x_numpars_2) + x_minw = (max x_minw_1 x_minw_2) + x_minll = x_minll_2 + x_maxh = (x_maxh_1+x_maxh_2) + x_fmts = (fst_Pair_T_Formats x_fe) + x_error = ((x_error_1||x_error_2)||x_aerror) + x_m = (splitAt_T_Fmts (fromIntegral x_numpars_1) x_fillfmts) + x_i = (splitAt_T_Mins (fromIntegral x_numpars_1) x_fillmins) + x_fe = (set_fmts_above x_fmts_1 x_fmts_2 x_maxh_1 x_maxh_2) + x_e = (splitAt_T_Errs (fromIntegral x_numpars_1) x_fillerrs) + x_aerror = (snd_Pair_T_Formats x_fe) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 , x_numpars_1 , x_reqs_1 ) = visit_PPC t_PPC_2 x_fillerrs_1 x_fillfmts_1 x_fillmins_1 x_frame_1 + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 , x_numpars_2 , x_reqs_2 ) = visit_PPC t_PPC_3 x_fillerrs_2 x_fillfmts_2 x_fillmins_2 x_frame_2 +visit_PPC (C_ApplyC_1 t_PPC_2 t_PPCArgs ) x_fillerrs x_fillfmts x_fillmins x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw , x_numpars , x_reqs ) + where + x_ireqs_2 = x_reqs_1 + x_ifillmins_2 = x_fillmins + x_ifillfmts_2 = x_fillfmts + x_ifillerrs_2 = x_fillerrs + x_frame_1 = x_frame + x_fillmins_1 = x_fillmins_2 + x_fillfmts_1 = x_fmts_2 + x_fillerrs_1 = x_error_2 + x_reqs = x_reqs_2 + x_numpars = x_numpars_2 + x_minw = (set_var_apply x_error_cond x_lem x_minw_1) + x_minll = (set_var_apply x_error_cond x_lem x_minll_1) + x_maxh = (set_var_apply x_error_cond 1 x_maxh_1) + x_fmts = (eq_set_fmts_apply x_error_cond x_error_msg x_fmts_1) + x_error = x_l_error + x_lem = (fromIntegral (length x_error_msg)) + x_l_error = (if x_error_cond then True else x_error_1) + x_error_msg = (set_error_msg x_numpars_1 x_len_2) + x_error_cond = (x_numpars_2/=x_len_2) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 , x_numpars_1 , x_reqs_1 ) = visit_PPC t_PPC_2 x_fillerrs_1 x_fillfmts_1 x_fillmins_1 x_frame_1 + (x_error_2 , x_fillmins_2 , x_fmts_2 , x_len_2 , x_numpars_2 , x_reqs_2 ) = visit_PPCArgs t_PPCArgs x_ifillerrs_2 x_ifillfmts_2 x_ifillmins_2 x_ireqs_2 +visit_PPC (C_BesideC_1 t_PPC_2 t_PPC_3 ) x_fillerrs x_fillfmts x_fillmins x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw , x_numpars , x_reqs ) + where + x_frame_2 = (narrow_frame x_minll_1 x_frame) + x_fillmins_2 = (snd_Pair_Lst_T_Mins x_i) + x_fillfmts_2 = (snd_Pair_Lst_T_Fmts x_m) + x_fillerrs_2 = (snd_Pair_Lst_T_Errs x_e) + x_frame_1 = (narrow_ll x_minw_2 x_frame) + x_fillmins_1 = (fst_Pair_Lst_T_Mins x_i) + x_fillfmts_1 = (fst_Pair_Lst_T_Fmts x_m) + x_fillerrs_1 = (fst_Pair_Lst_T_Errs x_e) + x_reqs = (x_reqs_1++x_reqs_2) + x_numpars = (x_numpars_1+x_numpars_2) + x_minw = (max x_minw_1 (x_minll_1+x_minw_2)) + x_minll = (x_minll_1+x_minll_2) + x_maxh = (beside_height x_maxh_1 x_maxh_2) + x_fmts = (fst_Pair_T_Formats x_fe) + x_error = (x_l_error||x_berror) + x_m = (splitAt_T_Fmts (fromIntegral x_numpars_1) x_fillfmts) + x_l_error = (x_error_1||x_error_2) + x_i = (splitAt_T_Mins (fromIntegral x_numpars_1) x_fillmins) + x_fe = (set_fmts_beside x_fmts_1 x_fmts_2 x_maxh_1 x_maxh_2 x_frame x_l_error) + x_e = (splitAt_T_Errs (fromIntegral x_numpars_1) x_fillerrs) + x_berror = (snd_Pair_T_Formats x_fe) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 , x_numpars_1 , x_reqs_1 ) = visit_PPC t_PPC_2 x_fillerrs_1 x_fillfmts_1 x_fillmins_1 x_frame_1 + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 , x_numpars_2 , x_reqs_2 ) = visit_PPC t_PPC_3 x_fillerrs_2 x_fillfmts_2 x_fillmins_2 x_frame_2 +visit_PPC (C_DupC_1 t_PPC_2 t_PPC_3 ) x_fillerrs x_fillfmts x_fillmins x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw , x_numpars , x_reqs ) + where + x_frame_2 = x_frame + x_fillmins_2 = x_fillmins + x_fillfmts_2 = x_fillfmts + x_fillerrs_2 = x_fillerrs + x_frame_1 = x_frame + x_fillmins_1 = x_fillmins + x_fillfmts_1 = x_fillfmts + x_fillerrs_1 = x_fillerrs + x_reqs = (eq_DupC x_reqs_1 x_reqs_2) + x_numpars = x_numpars_1 + x_minw = x_l_minw + x_minll = (min x_minll_1 x_minll_2) + x_maxh = (max x_maxh_1 x_maxh_2) + x_fmts = (sem_fmts_cdup x_fmts_1 x_fmts_2 x_error_1 x_error_2 x_numpars_1 x_numpars_2 x_l_minw x_error_msg) + x_error = x_l_error + x_l_minw = (min x_minw_1 x_minw_2) + x_l_error = ((x_numpars_1/=x_numpars_2)||(x_error_1 && x_error_2)) + x_error_msg = (eq_set_error_msg x_numpars_1 x_numpars_2) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 , x_numpars_1 , x_reqs_1 ) = visit_PPC t_PPC_2 x_fillerrs_1 x_fillfmts_1 x_fillmins_1 x_frame_1 + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 , x_numpars_2 , x_reqs_2 ) = visit_PPC t_PPC_3 x_fillerrs_2 x_fillfmts_2 x_fillmins_2 x_frame_2 +visit_PPC (C_IndentC_1 t_INT t_PPC_2 ) x_fillerrs x_fillfmts x_fillmins x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw , x_numpars , x_reqs ) + where + x_frame_2 = (narrow_frame t_INT x_frame) + x_fillmins_2 = x_fillmins + x_fillfmts_2 = x_fillfmts + x_fillerrs_2 = x_fillerrs + x_reqs = x_reqs_2 + x_numpars = x_numpars_2 + x_minw = x_l_minw + x_minll = (t_INT+x_minll_2) + x_maxh = x_maxh_2 + x_fmts = (set_fmts_indent t_INT x_fmts_2 x_pw x_l_minw x_frame x_error_2) + x_error = (((t_INT<0)||(t_INT>x_pw))||x_error_2) + x_pw = case x_frame of { (C_F_1 w _) -> w } + x_l_minw = (t_INT+x_minw_2) + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 , x_numpars_2 , x_reqs_2 ) = visit_PPC t_PPC_2 x_fillerrs_2 x_fillfmts_2 x_fillmins_2 x_frame_2 +visit_PPC (C_JoinC_1 t_PPC_2 ) x_fillerrs x_fillfmts x_fillmins x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw , x_numpars , x_reqs ) + where + x_frame_1 = x_frame + x_fillmins_1 = x_fillmins + x_fillfmts_1 = x_fillfmts + x_fillerrs_1 = x_fillerrs + x_reqs = x_reqs_1 + x_numpars = x_numpars_1 + x_minw = x_minw_1 + x_minll = x_minll_1 + x_maxh = x_maxh_1 + x_fmts = (fst_Pair_T_Formats x_fe) + x_error = (x_error_1||x_jerror) + x_jerror = (snd_Pair_T_Formats x_fe) + x_fe = (set_fmts_join x_fmts_1 x_error_1) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 , x_numpars_1 , x_reqs_1 ) = visit_PPC t_PPC_2 x_fillerrs_1 x_fillfmts_1 x_fillmins_1 x_frame_1 +visit_PPC (C_ParC_1 ) x_fillerrs x_fillfmts x_fillmins x_frame = (x_error , x_fmts , x_maxh , x_minll , x_minw , x_numpars , x_reqs ) + where + x_reqs = ((:) x_frame ([] )) + x_numpars = 1 + x_minw = (fst_t x_l_m) + x_minll = (snd_t x_l_m) + x_maxh = (third_t x_l_m) + x_fmts = (head_T_Fmts x_fillfmts) + x_error = x_l_error + x_l_m = (head_T_Mins x_fillmins) + x_l_error = (head_T_Errs x_fillerrs) +visit_PPCArgs (C_ConsPPCArgs_1 t_PPC t_PPCArgs_2 ) x_ifillerrs x_ifillfmts x_ifillmins x_ireqs = (x_error , x_fillmins , x_fmts , x_len , x_numpars , x_reqs ) + where + x_ireqs_2 = (tail_T_Reqs x_ireqs) + x_ifillmins_2 = (snd_Pair_Lst_T_Mins x_i) + x_ifillfmts_2 = (snd_Pair_Lst_T_Fmts x_m) + x_ifillerrs_2 = (snd_Pair_Lst_T_Errs x_e) + x_reqs = (x_reqs_1++x_reqs_2) + x_numpars = (x_numpars_1+x_numpars_2) + x_len = (x_len_2+1) + x_fmts = ((:) x_fmts_1 x_fmts_2) + x_fillmins = ((:) (C_Triple_1 x_minw_1 x_minll_1 x_maxh_1) x_fillmins_2) + x_error = ((:) x_error_1 x_error_2) + x_frame_1 = (head_T_Reqs x_ireqs) + x_fillmins_1 = (fst_Pair_Lst_T_Mins x_i) + x_fillfmts_1 = (fst_Pair_Lst_T_Fmts x_m) + x_fillerrs_1 = (fst_Pair_Lst_T_Errs x_e) + x_m = (splitAt_T_Fmts (fromIntegral x_numpars_1) x_ifillfmts) + x_i = (splitAt_T_Mins (fromIntegral x_numpars_1) x_ifillmins) + x_e = (splitAt_T_Errs (fromIntegral x_numpars_1) x_ifillerrs) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 , x_numpars_1 , x_reqs_1 ) = visit_PPC t_PPC x_fillerrs_1 x_fillfmts_1 x_fillmins_1 x_frame_1 + (x_error_2 , x_fillmins_2 , x_fmts_2 , x_len_2 , x_numpars_2 , x_reqs_2 ) = visit_PPCArgs t_PPCArgs_2 x_ifillerrs_2 x_ifillfmts_2 x_ifillmins_2 x_ireqs_2 +visit_PPCArgs (C_NilPPCArgs_1 ) x_ifillerrs x_ifillfmts x_ifillmins x_ireqs = (x_error , x_fillmins , x_fmts , x_len , x_numpars , x_reqs ) + where + x_reqs = ([] ) + x_numpars = 0 + x_len = 0 + x_fmts = ([] ) + x_fillmins = ([] ) + x_error = ([] ) +visit_PPSArgs (C_ConsArgs_1 t_PPS t_PPSArgs_2 ) x_reqs = (x_error , x_fmts , x_len , x_mins ) + where + x_reqs_2 = (tail_T_Reqs x_reqs) + x_mins = ((:) (C_Triple_1 x_minw_1 x_minll_1 x_maxh_1) x_mins_2) + x_len = (x_len_2+1) + x_fmts = ((:) x_fmts_1 x_fmts_2) + x_error = ((:) x_error_1 x_error_2) + x_frame_1 = (head_T_Reqs x_reqs) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS x_frame_1 + (x_error_2 , x_fmts_2 , x_len_2 , x_mins_2 ) = visit_PPSArgs t_PPSArgs_2 x_reqs_2 +visit_PPSArgs (C_NilArgs_1 ) x_reqs = (x_error , x_fmts , x_len , x_mins ) + where + x_mins = ([] ) + x_len = 0 + x_fmts = ([] ) + x_error = ([] ) +visit_FillList (C_ConsFillList_1 t_PPS t_FillList_2 ) x_errori x_fmtsi x_frame x_maxhi x_minlli x_minwi x_pw = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_frame_1 = x_frame + x_pw_2 = x_pw + x_minwi_2 = x_minwi + x_minlli_2 = ((x_minlli+x_minwi)+x_minw_1) + x_maxhi_2 = (cons_height x_maxh_1 x_maxhi True) + x_frame_2 = x_frame + x_fmtsi_2 = (fst_Pair_Formats x_fe) + x_errori_2 = (x_errori||x_ferror) + x_minw = x_minw_2 + x_minll = x_minll_2 + x_maxh = x_maxh_2 + x_fmts = x_fmts_2 + x_error = (x_error_2||x_error_1) + x_newll = (x_minlli+x_minw_1) + x_ferror = (snd_Pair_Formats x_fe) + x_fe = (set_fmts_filllist x_fmtsi x_fmts_1 x_maxhi x_maxh_1 x_frame x_avail) + x_avail = ((x_pw-x_newll)>=0) + (x_error_1 , x_fmts_1 , x_maxh_1 , x_minll_1 , x_minw_1 ) = visit_PPS t_PPS x_frame_1 + (x_error_2 , x_fmts_2 , x_maxh_2 , x_minll_2 , x_minw_2 ) = visit_FillList t_FillList_2 x_errori_2 x_fmtsi_2 x_frame_2 x_maxhi_2 x_minlli_2 x_minwi_2 x_pw_2 +visit_FillList (C_NilFillList_1 ) x_errori x_fmtsi x_frame x_maxhi x_minlli x_minwi x_pw = (x_error , x_fmts , x_maxh , x_minll , x_minw ) + where + x_minw = x_minwi + x_minll = x_minlli + x_maxh = x_maxhi + x_fmts = x_fmtsi + x_error = x_errori +above_fmt u l = + case u of { (C_Elem_1 uh ul uw ut) -> case l of { (C_Elem_1 lh ll lw lt) -> (C_Elem_1 (uh+lh) ll (max uw lw) (ut++lt)) } } +above_fmts u l = + case u of { ( [] ) -> ([] ) ; ( (:) u2 us ) -> case l of { ( [] ) -> ([] ) ; ( (:) l2 ls ) -> let { (utw) = (total_w u2) ; (ltw) = (total_w l2) ; (fe) = (above_fmt u2 l2) } in (if (utw>=ltw) then ((:) fe (above_fmts us l)) else ((:) fe (above_fmts u ls))) } } +actformparams actparams lfps = + case actparams of { ( (:) t1 ts ) -> case lfps of { ( (:) p ls ) -> case p of { (C_AParam_1 t2 n) -> (if (t1==t2) then (actformparams ts ls) else ((:) (C_E_T_ActParam_1 ) (actformparams ts ls))) } ; ( [] ) -> ((:) (C_E_T_ActParam_1 ) ([] )) } ; ( [] ) -> case lfps of { ( (:) p ls ) -> ((:) (C_E_T_ActParam_1 ) ([] )) ; ( [] ) -> ([] ) } } +add_glue i ls = + case ls of { ( [] ) -> ([] ) ; ( (:) s ss ) -> ((:) ((repeatCHAR ' ' i)++s) (add_glue i ss)) } +afmt_txt string = + (C_AFormat_1 (text_fmts string)) +allf fs = + case fs of { ( [] ) -> "" ; ( (:) f fs2 ) -> ((txtstr f 0 "\n\n")++(best fs2)) } +assign_InfType n exptype fid env = + let { (desttype) = (gettype n fid env) } in (if ((coersibleTypes desttype exptype)==(C_Errortype_1 )) then (C_E_T_NC_1 desttype exptype) else (C_NoTypeError_1 )) +asts i = + (if (i==0) then "" else (if (i==1) then "*" else ((":"++(repeatCHAR '*' (fromIntegral (i-2))))++"*>")) ) +beside_fmt l r = + case l of { (C_Elem_1 lh ll lw lt) -> case r of { (C_Elem_1 rh rl rw rt) -> (C_Elem_1 ((lh+rh)-1) (ll+rl) (max lw (ll+rw)) (join ll lt rt)) } } +beside_fmts f l r = + case f of { (C_F_1 pw _) -> (foldLeft pw l r) } +beside_height lh rh = + (if ((lh==0)||(rh==0)) then 0 else 1) +best fs = + case fs of { ( [] ) -> "" ; ( (:) f fs2 ) -> (txtstr f 0 "") } +blockStats sts = + (C_Above_1 (C_Beside_1 (C_Text_1 "{") (C_Indent_1 2 sts)) (C_Text_1 "}")) +checkactparams s actpars env = + case (lrc_map_application s env) of { (C_Consfunc_1 t i lfp) -> (actformparams actpars lfp) ; _ -> ([] ) } +choose_ab_beside_fmts avail fa fb f = + (if avail then (beside_fmts f fa fb) else (above_fmts fa fb)) +choose_ab_error_beside avail fa fb f = + (if avail then (error_beside fa fb) else (above_fmts fa fb)) +coersibleTypes t1 t2 = + (if (t1==t2) then t1 else case t1 of { (C_Realtype_1 ) -> case t2 of { (C_Inttype_1 ) -> t1 ; _ -> (C_Errortype_1 ) } ; _ -> (C_Errortype_1 ) } ) +cons_height pph acth avail = + (if (acth==0) then (if (pph>0) then 1 else 0) else (acth+(if avail then 0 else 1) )) +dispf fs = + case fs of { ( [] ) -> "" ; ( (:) f fs2 ) -> (txtstr f 0 "") } +dropWhileFormatsNotFit i fs = + case fs of { ( [] ) -> ([] ) ; ( (:) f fs2 ) -> (if (notFits i f) then (dropWhileFormatsNotFit i fs2) else fs) } +dropWhileFormatsTooWide i l r = + case r of { ( [] ) -> ([] ) ; ( (:) f fs ) -> (if (tooWide i l f) then (dropWhileFormatsTooWide i l fs) else r) } +empty_fmts = + ([] ) +enclosedBy o b c = + (C_Beside_1 (C_Text_1 o) (C_Beside_1 b (C_Text_1 c))) +eq_DupC r1 r2 = + (zipwith_max r1 r2) +eq_all_fmts pw fmts = + (allf (set_fmts_render pw fmts)) +eq_best_fmts pw fmts = + (best (set_fmts_render pw fmts)) +eq_disp pw fmts = + (dispf (set_fmts_render pw fmts)) +eq_set_error_msg apars bpars = + (((("<Error: incorrect choice expression. #pars left "++(lrc_INTtoSTR apars))++" /= #pars right ")++(lrc_INTtoSTR bpars))++">") +eq_set_fmts_apply error msg fmts = + (set_fmts_apply error (C_AFormat_1 (text_fmts msg)) fmts) +eq_set_fmts_fill fmts = + (C_AFormat_1 fmts) +error_beside fs1 fs2 = + ([] ) +error_indent i fs = + (map_indent_fmt i fs) +foldLeft pw l r = + case l of { ( [] ) -> ([] ) ; ( (:) f fs ) -> (map_With_fmts f (dropWhileFormatsTooWide pw f r)) } +fst_Pair_Formats f = + case f of { (C_C_Pair_Formats_1 a b) -> a } +fst_Pair_Lst_T_Errs t = + case t of { (C_CPair_Lst_T_Errs_1 a _) -> a } +fst_Pair_Lst_T_Fmts t = + case t of { (C_CPair_Lst_T_Fmts_1 a _) -> a } +fst_Pair_Lst_T_Mins t = + case t of { (C_CPair_Lst_T_Mins_1 a _) -> a } +fst_Pair_T_Formats f = + case f of { (C_C_Pair_T_Formats_1 a b) -> a } +fst_t t = + case t of { (C_Triple_1 pw _ _) -> pw } +func_def_a_la_c ty name formpars body = + (C_Above_1 (C_Beside_1 name (C_Beside_1 (C_Text_1 "(") (C_Beside_1 formpars (C_Beside_1 (C_Text_1 ") : ") ty)))) (blockStats body)) +funccall name pars = + (C_Beside_1 name (enclosedBy "(" pars ")")) +genCodeMainFun = + ((:) (C_Call_1 (C_Ident_1 "main")) ((:) (C_Halt_1 ) ([] ))) +genCodeParamsFunc i lsttp cap = + case lsttp of { ( [] ) -> ([] ) ; ( (:) fp fps ) -> case cap of { ( [] ) -> ([] ) ; ( (:) c cs ) -> case fp of { (C_AParam_1 t n) -> (((:) (C_Pusha_1 n i) c)++((:) (C_Store_1 ) (genCodeParamsFunc i fps cs))) } } } +gen_code_func nf lst = + case lst of { ( [] ) -> ([] ) ; ( (:) apar ls ) -> case apar of { (C_AParam_1 t n) -> ((:) (C_Var_1 n nf t) (gen_code_func nf ls)) } } +gen_code_func_inv fn env cap = + case (lrc_map_application fn env) of { (C_Consfunc_1 t i lstp) -> ((genCodeParamsFunc i lstp cap)++((:) (C_Call_1 fn) ([] ))) ; _ -> ([] ) } +gen_code_ite i e c1 c2 = + (((e++((:) (C_Jumpf_1 (C_Ident_1 ("else_"++(lrc_INTtoSTR i)))) c1))++((:) (C_Jumpf_1 (C_Ident_1 ("end_if_"++(lrc_INTtoSTR i)))) ((:) (C_ALabel_1 (C_Ident_1 ("else_"++(lrc_INTtoSTR i)))) c2)))++((:) (C_ALabel_1 (C_Ident_1 ("end_if_"++(lrc_INTtoSTR i)))) ([] ))) +gen_code_while i e c1 = + ((((:) (C_ALabel_1 (C_Ident_1 ("while_"++(lrc_INTtoSTR i)))) e)++((:) (C_Jumpf_1 (C_Ident_1 ("end_while_"++(lrc_INTtoSTR i)))) c1))++((:) (C_Jump_1 (C_Ident_1 ("while_"++(lrc_INTtoSTR i)))) ((:) (C_ALabel_1 (C_Ident_1 ("end_while_"++(lrc_INTtoSTR i)))) ([] )))) +gen_data_mem e = + ([] ) +get_fmts fs = + case fs of { (C_AFormat_1 a) -> a ; (C_TFormats_1 _ _ _ _) -> (text_fmts "<Error: can\'t dup a dup") } +gettype id fid env = + case (lrc_map_application id env) of { (C_Consvar_1 t i) -> t ; (C_Consarray_1 t i i2) -> t ; (C_Consfunc_1 t i l) -> t ; _ -> case (lrc_map_application fid env) of { (C_Consfunc_1 t i lstp) -> (gettypefp id lstp) ; _ -> (C_Errortype_1 ) } } +gettypefp id lstfp = + case lstfp of { ( (:) p ls ) -> case p of { (C_AParam_1 t n) -> (if (id==n) then t else (gettypefp id ls)) } ; ( [] ) -> (C_Errortype_1 ) } +head_T_Errs t = + case t of { ( (:) s _ ) -> s } +head_T_Fmts t = + case t of { ( (:) s _ ) -> s } +head_T_Mins t = + case t of { ( (:) s _ ) -> s } +head_T_Reqs t = + case t of { ( (:) f _ ) -> f } +hv a b = + (C_Join_1 (C_Dup_1 (C_Beside_1 a b) (C_Above_1 a b))) +hvc a b = + (C_DupC_1 (C_BesideC_1 a b) (C_AboveC_1 a b)) +if_t_ePP exp stats1 stats2 = + (hv (hv (hv (C_Text_1 "if") (C_Beside_1 (C_Text_1 "(") (C_Beside_1 exp (C_Text_1 ")")))) (hv (C_Text_1 "then") (blockStats stats1))) (hv (C_Text_1 "else") (blockStats stats2))) +indent_fmt i f = + case f of { (C_Elem_1 dh dl dw dt) -> (C_Elem_1 dh (i+dl) (i+dw) (add_glue i dt)) } +indent_fmts f i fs = + case f of { (C_F_1 pw _) -> (map_indent_fmt i (dropWhileFormatsNotFit (pw-i) fs)) } +infType op t1 t2 = + case op of { 1 -> (coersibleTypes t1 t2) ; 2 -> (if (t1==t2) then (C_Booltype_1 ) else (C_Errortype_1 )) ; _ -> (C_Errortype_1 ) } +initLst_Str l = + case l of { ( [] ) -> ([] ) ; ( (:) x ( [] ) ) -> ([] ) ; ( (:) x ls ) -> ((:) x (initLst_Str ls)) } +isaritmexp t = + case t of { (C_Inttype_1 ) -> True ; _ -> False } +isboolexp t = + case t of { (C_Booltype_1 ) -> True ; _ -> False } +isinenv n fid env = + (if (lrc_map_in n env) then True else case (lrc_map_application fid env) of { (C_Consfunc_1 t i lstp) -> (isinlst n lstp) ; _ -> False } ) +isinlst n l = + case l of { ( [] ) -> False ; ( (:) apar ls ) -> case apar of { (C_AParam_1 t n2) -> (if (n==n2) then True else (isinlst n ls)) } } +isinttype t = + case t of { (C_Inttype_1 ) -> True ; _ -> False } +join i lt rt = + case rt of { ( [] ) -> lt ; ( (:) x rt2 ) -> (((initLst_Str lt)++((:) ((lastLst_Str lt)++x) ([] )))++(add_glue i rt2)) } +lastLst_Str l = + case l of { ( (:) x ( [] ) ) -> x ; ( (:) _ ls ) -> (lastLst_Str ls) } +last_w f = + case f of { (C_Elem_1 _ pll _ _) -> pll } +map_With_fmts f fs = + case fs of { ( [] ) -> ([] ) ; ( (:) f2 fs2 ) -> ((:) (beside_fmt f f2) (map_With_fmts f fs2)) } +map_indent_fmt i fs = + case fs of { ( [] ) -> ([] ) ; ( (:) f fs2 ) -> ((:) (indent_fmt i f) (map_indent_fmt i fs2)) } +max_T_Frame a b = + case a of { (C_F_1 w _) -> case b of { (C_F_1 z _) -> (if (w>z) then a else b) } } +merge xs ys = + case xs of { ( [] ) -> ys ; ( (:) x xs2 ) -> case ys of { ( [] ) -> xs ; ( (:) y ys2 ) -> (if (x==y) then ((:) x (merge xs2 ys2)) else (if (x<y) then ((:) x (merge xs2 ys)) else ((:) y (merge xs ys2))) ) } } +nametoSTR n = + case n of { (C_Ident_1 s) -> s } +narrow_frame i f = + case f of { (C_F_1 s l) -> (C_F_1 (s-i) (l-i)) } +narrow_ll i f = + case f of { (C_F_1 s l) -> (C_F_1 s (l-i)) } +newlines ls = + case ls of { ( (:) x ( [] ) ) -> x ; ( (:) x xs ) -> ((x++"\n")++(newlines xs)) } +notFits delta f = + case f of { (C_Elem_1 _ _ dw _) -> (dw>delta) } +nullFormats fs = + case fs of { ( [] ) -> True ; _ -> False } +ppName n = + case n of { (C_Ident_1 s) -> (C_Text_1 s) } +ppType t = + case t of { (C_Inttype_1 ) -> (C_Text_1 "Int") ; (C_Realtype_1 ) -> (C_Text_1 "Real") ; (C_Booltype_1 ) -> (C_Text_1 "Bool") ; (C_Chartype_1 ) -> (C_Text_1 "Char") ; (C_Errortype_1 ) -> (C_Text_1 "Error??") } +s2fmt s = let { (l) = (fromIntegral (length s)) } in (C_Elem_1 1 l l ((:) s ([] ))) +sem_fmts_cdup a b ae be anpars bnpars min_w mesg = + (if (anpars/=bnpars) then (afmt_txt mesg) else (sem_fmts_dup a b ae be min_w)) +sem_fmts_dup afs bfs ae be minw = + (if (ae && be) then (afmt_txt (asts minw)) else (C_TFormats_1 (get_fmts afs) (get_fmts bfs) ae be)) +set_error_msg numpars len = + (((("<Error: incorrect apply expression. #pars "++(lrc_INTtoSTR numpars))++" /= #args ")++(lrc_INTtoSTR len))++">") +set_fmts_ab_above fs gs uh lh etxt = + case fs of { (C_AFormat_1 ffmts) -> case gs of { (C_AFormat_1 gfmts) -> (C_C_Pair_T_Formats_1 (C_AFormat_1 (set_fmts_abovea ffmts gfmts uh lh)) False) ; (C_TFormats_1 a bs ae be) -> (C_C_Pair_T_Formats_1 (C_TFormats_1 (set_fmts_abovea ffmts a uh lh) (set_fmts_abovea ffmts bs uh lh) ae be) False) } ; (C_TFormats_1 a bs ae be) -> case gs of { (C_AFormat_1 gfmts) -> (C_C_Pair_T_Formats_1 (C_TFormats_1 (set_fmts_abovea a gfmts uh lh) (set_fmts_abovea bs gfmts uh lh) ae be) False) ; _ -> (C_C_Pair_T_Formats_1 (afmt_txt etxt) True) } } +set_fmts_ab_beside fs gs uh lh frame error etxt = + case fs of { (C_AFormat_1 ffmts) -> case gs of { (C_AFormat_1 gfmts) -> (C_C_Pair_T_Formats_1 (C_AFormat_1 (set_fmts_besidea ffmts gfmts uh lh frame error)) False) ; (C_TFormats_1 a bs ae be) -> (C_C_Pair_T_Formats_1 (C_TFormats_1 (set_fmts_besidea ffmts a uh lh frame error) (set_fmts_besidea ffmts bs uh lh frame error) ae be) False) } ; (C_TFormats_1 a bs ae be) -> case gs of { (C_AFormat_1 gfmts) -> (C_C_Pair_T_Formats_1 (C_TFormats_1 (set_fmts_besidea a gfmts uh lh frame error) (set_fmts_besidea bs gfmts uh lh frame error) ae be) False) ; _ -> (C_C_Pair_T_Formats_1 (afmt_txt etxt) True) } } +set_fmts_above us ls uh lh = + (set_fmts_ab_above us ls uh lh "<Error: can\'t above two pairs") +set_fmts_abovea a bs uh lh = + (if (uh==0) then bs else (if (lh==0) then a else (above_fmts a bs)) ) +set_fmts_apply error msg fmts = + (if error then msg else fmts) +set_fmts_beside ls rs lh rh frame error = + (set_fmts_ab_beside ls rs lh rh frame error "<Error: can\'t beside two pairs") +set_fmts_besidea ls rs lh rh frame error = + (if (lh==0) then rs else (if (rh==0) then ls else (if error then (error_beside ls rs) else (beside_fmts frame ls rs)) ) ) +set_fmts_empty = + (C_AFormat_1 (empty_fmts )) +set_fmts_fillblock i fmts w = + (if (i<0) then (afmt_txt "<Error: negative page width in fillblock>") else (if (i>w) then (afmt_txt (asts i)) else (C_AFormat_1 fmts)) ) +set_fmts_filllist af bf ah bh f avail = + case bf of { (C_AFormat_1 ns) -> (if (ah==0) then (C_C_Pair_Formats_1 ns False) else (if (bh==0) then (C_C_Pair_Formats_1 af False) else (if (bh<=1) then (C_C_Pair_Formats_1 (choose_ab_beside_fmts avail af ns f) False) else (C_C_Pair_Formats_1 (choose_ab_error_beside avail af (text_fmts "<Error: element in fill higher than 1>") f) True)) ) ) ; _ -> (C_C_Pair_Formats_1 (set_fmts_filllista (text_fmts "<Error: element in fill list is a pair>") af ah bh avail f) True) } +set_fmts_filllista fs afmts ah nh avail f = + (if (ah==0) then afmts else (if (nh==0) then fs else (choose_ab_error_beside avail fs afmts f)) ) +set_fmts_indent i f pw minw frame error = + (if (i<0) then (afmt_txt "<Error: negative indentation>") else (if (i>pw) then (afmt_txt (asts minw)) else (if error then (set_fmts_indent_error_indent i f) else (set_fmts_indent_indent_fmts i f frame)) ) ) +set_fmts_indent_error_indent i fmts = + case fmts of { (C_AFormat_1 fs) -> (C_AFormat_1 (error_indent i fs)) ; (C_TFormats_1 a bs ae be) -> (C_TFormats_1 (error_indent i a) (error_indent i bs) ae be) } +set_fmts_indent_indent_fmts i fmts frame = + case fmts of { (C_AFormat_1 fs) -> (C_AFormat_1 (indent_fmts frame i fs)) ; (C_TFormats_1 a bs ae be) -> (C_TFormats_1 (indent_fmts frame i a) (indent_fmts frame i bs) ae be) } +set_fmts_join fs err = + case fs of { (C_AFormat_1 f) -> (if err then (C_C_Pair_T_Formats_1 fs err) else (C_C_Pair_T_Formats_1 (afmt_txt "<Error: can\'t join a single result>") True)) ; (C_TFormats_1 a bs ae be) -> let { (aa) = (if be then (if (nullFormats a) then bs else a) else (if ae then (if (nullFormats bs) then a else bs) else (merge a bs)) ) } in (C_C_Pair_T_Formats_1 (C_AFormat_1 aa) False) } +set_fmts_render pw fmts = + (if (pw<0) then (text_fmts "<Error: negative page width >") else case fmts of { (C_AFormat_1 fmt) -> fmt ; _ -> (text_fmts "<Error: can\'t render a pair>") } ) +set_fmts_text string minw error = + (afmt_txt (if error then (asts minw) else string) ) +set_var_apply error lem min = + (if error then lem else min) +snd_Pair_Formats f = + case f of { (C_C_Pair_Formats_1 a b) -> b } +snd_Pair_Lst_T_Errs t = + case t of { (C_CPair_Lst_T_Errs_1 _ a) -> a } +snd_Pair_Lst_T_Fmts t = + case t of { (C_CPair_Lst_T_Fmts_1 _ a) -> a } +snd_Pair_Lst_T_Mins t = + case t of { (C_CPair_Lst_T_Mins_1 _ a) -> a } +snd_Pair_T_Formats f = + case f of { (C_C_Pair_T_Formats_1 a b) -> b } +snd_t t = + case t of { (C_Triple_1 _ pll _) -> pll } +splitAt_T_Errs i tm = + (if (i<=0) then (C_CPair_Lst_T_Errs_1 ([] ) tm) else case tm of { ( [] ) -> (C_CPair_Lst_T_Errs_1 ([] ) ([] )) ; ( (:) x xs ) -> let { (a) = (splitAt_T_Errs (i-1) xs) ; (xs2) = (fst_Pair_Lst_T_Errs a) ; (xs22) = (snd_Pair_Lst_T_Errs a) } in (C_CPair_Lst_T_Errs_1 ((:) x xs2) xs22) } ) +splitAt_T_Fmts i tm = + (if (i<=0) then (C_CPair_Lst_T_Fmts_1 ([] ) tm) else case tm of { ( [] ) -> (C_CPair_Lst_T_Fmts_1 ([] ) ([] )) ; ( (:) x xs ) -> let { (a) = (splitAt_T_Fmts (i-1) xs) ; (xs2) = (fst_Pair_Lst_T_Fmts a) ; (xs22) = (snd_Pair_Lst_T_Fmts a) } in (C_CPair_Lst_T_Fmts_1 ((:) x xs2) xs22) } ) +splitAt_T_Mins i tm = + (if (i<=0) then (C_CPair_Lst_T_Mins_1 ([] ) tm) else case tm of { ( [] ) -> (C_CPair_Lst_T_Mins_1 ([] ) ([] )) ; ( (:) x xs ) -> let { (a) = (splitAt_T_Mins (i-1) xs) ; (xs2) = (fst_Pair_Lst_T_Mins a) ; (xs22) = (snd_Pair_Lst_T_Mins a) } in (C_CPair_Lst_T_Mins_1 ((:) x xs2) xs22) } ) +tail_T_Reqs t = + case t of { ( (:) _ tr ) -> tr } +text_fmts s = + ((:) (s2fmt s) ([] )) +third_t t = + case t of { (C_Triple_1 _ _ ph) -> ph } +tooWide pw x y = + ((max (total_w x) ((last_w x)+(total_w y)))>pw) +total_w f = + case f of { (C_Elem_1 _ _ w _) -> w } +txtstr f n s = + case f of { (C_Elem_1 dh dl dw dt) -> ((newlines (add_glue n dt))++s) } +typecheck s exptype fid env = + (if (exptype==(gettype s fid env)) then True else False) +whilePP bg exp stats = + (C_Apply_1 (C_JoinC_1 (hvc (C_ParC_1 ) (C_JoinC_1 (hvc (C_ParC_1 ) C_ParC_1)))) (C_ConsArgs_1 bg (C_ConsArgs_1 exp (C_ConsArgs_1 stats (C_NilArgs_1 ))))) +whilePPOLD exp stats = + (hv (hv (C_Text_1 "while") (C_Beside_1 (C_Text_1 "(") (C_Beside_1 exp (C_Text_1 ")")))) (blockStats stats)) +zipwith_max l1 l2 = + case l1 of { ( [] ) -> l2 ; ( (:) l11 l11s ) -> case l2 of { ( [] ) -> l1 ; ( (:) l22 l22s ) -> ((:) (max_T_Frame l11 l22) (zipwith_max l11s l22s)) } } |