|| Generated Sapl file for SaplParser.icl SaplParser.anon_89 !_x_0 = select _x_0 (\ _x_1_0 _x_1_1 t_1_2 = t_1_2) SaplParser.defaultState = SaplParser._ParserState 0 Map.newMap Map.newMap Map.newMap SaplParser.anon_185 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_26 g_0 !f_1 st0_2 = <{SaplParser._c;20;9_190}> (f_1 st0_2) g_0 <{SaplParser._c;20;9_190}> !_x_0 g_1 = select _x_0 (\ str_1_0 = Error.Error str_1_0) (\ _x_1_0 = select _x_1_0 (\ r_2_0 st1_2_1 = g_1 r_2_0 st1_2_1)) <{SaplParser.>>=}> f_0 g_1 = SaplParser.anon_26 g_1 f_0 SaplParser.anon_110 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.skip_newlines !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.skip_newlines_def0 _x_0) (\ _uv1_2_0 = SaplParser.skip_newlines_def0 _x_0) (\ _uv1_2_0 = SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (\ _uv1_2_0 = SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines_def0 _x_0) (SaplParser.skip_newlines ts_1_1)) (SaplParser.skip_newlines_def0 _x_0) SaplParser.skip_newlines_def0 !_x_0 = SaplParser.anon_110 _x_0 SaplParser.anon_184 e_0 s_1 = Error.Error e_0 SaplParser.anon_183 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_182 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) <{SaplParser.==_3}> !_x_0 !_x_1 = select _x_0 (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_1_0 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ name1_1_0 _x_1_1 = select _x_1 (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ name2_2_0 _x_2_1 = <{StdString.==_2}> name1_1_0 name2_2_0) (\ _uv1_2_0 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.==_3_def0}> _x_0 _x_1) (<{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.==_3_def0}> _x_0 _x_1)) (\ name1_1_0 = select _x_1 (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ name2_2_0 = <{StdString.==_2}> name1_1_0 name2_2_0) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.==_3_def0}> _x_0 _x_1) (<{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.==_3_def0}> _x_0 _x_1)) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 _uv3_1_2 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_1_0 = <{SaplParser.==_3_def0}> _x_0 _x_1) (<{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.==_3_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 _uv3_1_2 = <{SaplParser.==_3_def0}> _x_0 _x_1) <{SaplParser.==_3_def0}> !_x_0 !_x_1 = False <{SaplParser.<_4}> !_x_0 !_x_1 = select _x_0 (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_1_0 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ name1_1_0 _x_1_1 = select _x_1 (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ name2_2_0 _x_2_1 = <{StdString.<_3}> name1_1_0 name2_2_0) (\ _uv1_2_0 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.<_4_def0}> _x_0 _x_1) (<{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.<_4_def0}> _x_0 _x_1)) (\ name1_1_0 = select _x_1 (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ name2_2_0 = <{StdString.<_3}> name1_1_0 name2_2_0) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 = <{SaplParser.<_4_def0}> _x_0 _x_1) (<{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 = <{SaplParser.<_4_def0}> _x_0 _x_1)) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 _uv3_1_2 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_1_0 = <{SaplParser.<_4_def0}> _x_0 _x_1) (<{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 = <{SaplParser.<_4_def0}> _x_0 _x_1) (\ _uv1_1_0 _uv2_1_1 _uv3_1_2 = <{SaplParser.<_4_def0}> _x_0 _x_1) <{SaplParser.<_4_def0}> !_x_0 !_x_1 = False SaplParser.anon_181 name_0 s_1 = Error.Ok (_predefined._Tuple2 name_0 (SaplParser.set_ps_CAFs_3 s_1 (Map.put (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{SaplParser.==_3}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{SaplParser.<_4}>)) name_0 Void.Void (SaplParser.get_ps_CAFs_3 s_1)))) SaplParser.anon_180 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_76 ts_0 t_1 tname_2 = SaplParser.anon_180 (_predefined._Tuple2 (SaplParser.FTCAF tname_2 t_1) ts_0) SaplParser.anon_77 name_0 level_1 !_x_2 = select _x_2 (\ t_1_0 ts_1_1 = <{SaplParser.>>=}> (SaplParser.anon_181 (SaplParser.SName name_0 level_1)) (SaplParser.anon_76 ts_1_1 t_1_0)) SaplParser.anon_164 a_0 s_1 = Error.Ok (_predefined._Tuple2 a_0 (SaplParser.set_ps_level_0 s_1 (<{StdInt.+_6}> (SaplParser.get_ps_level_0 s_1) 1))) SaplParser.anon_172 e_0 s_1 = Error.Error e_0 SaplParser.anon_171 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_163 a_0 s_1 = Error.Ok (_predefined._Tuple2 a_0 (SaplParser.set_ps_level_0 s_1 (<{StdInt.-_7}> (SaplParser.get_ps_level_0 s_1) 1))) SaplParser.decLevel_162 a_0 = SaplParser.anon_163 a_0 SaplParser.anon_161 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_44 ds_0 !_x_1 = select _x_1 (\ t_1_0 ts_1_1 = <{SaplParser.>>=}> (SaplParser.anon_161 (_predefined._Tuple2 (SaplParser.SLet t_1_0 ds_0) ts_1_1)) SaplParser.decLevel_162) SaplParser.anon_154 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_134 e_0 s_1 = Error.Error e_0 SaplParser.anon_133 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_29 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = <{SaplParser._c;51;28_191}> (StdList.hd ts_1_1) t_1_0 ts_1_1) <{SaplParser._c;51;28_191}> !_x_0 t_1 ts_2 = select _x_0 (\ _uv1_1_0 = <{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (SaplParser.anon_133 (_predefined._Tuple2 t_1 (StdList.tl ts_2))) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;51;28_191_def0}> _x_0 t_1 ts_2) <{SaplParser._c;51;28_191_def0}> !_x_0 t_1 ts_2 = SaplParser.anon_134 (_predefined._Tuple2 ts_2 "Missing close parenthesis") SaplParser.anon_142 e_0 s_1 = Error.Error e_0 SaplParser.anon_141 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_132 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_131 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_30 t_0 !_x_1 = select _x_1 (\ as_1_0 ts_1_1 = <{SaplParser._c;61;29_192}> as_1_0 t_0 ts_1_1) <{SaplParser._c;61;29_192}> !as_0 t_1 ts_2 = select as_0 (\ _uv1_1_0 _uv2_1_1 = <{SaplParser._c;61;29_192_def0}> as_0 t_1 ts_2) (SaplParser.anon_131 (_predefined._Tuple2 t_1 ts_2)) <{SaplParser._c;61;29_192_def0}> !as_0 t_1 ts_2 = SaplParser.anon_132 (_predefined._Tuple2 (SaplParser.SApplication t_1 as_0) ts_2) SaplParser.anon_143 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_140 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_139 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_138 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_137 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_27 ts_0 name_1 level_2 = SaplParser.anon_137 (_predefined._Tuple2 (Maybe.Just (SaplParser.SName name_1 level_2)) ts_0) SaplParser.anon_136 e_0 s_1 = Error.Error e_0 SaplParser.anon_135 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_28 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = <{SaplParser._c;44;28_193}> (StdList.hd ts_1_1) t_1_0 ts_1_1) <{SaplParser._c;44;28_193}> !_x_0 t_1 ts_2 = select _x_0 (\ _uv1_1_0 = <{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (SaplParser.anon_135 (_predefined._Tuple2 (Maybe.Just t_1) (StdList.tl ts_2))) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;44;28_193_def0}> _x_0 t_1 ts_2) <{SaplParser._c;44;28_193_def0}> !_x_0 t_1 ts_2 = SaplParser.anon_136 (_predefined._Tuple2 ts_2 "Missing close parenthesis") SaplParser.factor !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ name_2_0 = <{SaplParser.>>=}> SaplParser.anon_138 (SaplParser.anon_27 ts_1_1 name_2_0)) (\ _uv1_2_0 = SaplParser.factor_def0 _x_0) (\ _uv1_2_0 = SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (<{SaplParser.>>=}> (SaplParser.application ts_1_1) SaplParser.anon_28) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (\ const_2_0 = SaplParser.anon_139 (_predefined._Tuple2 (Maybe.Just (SaplParser.SConst const_2_0)) ts_1_1)) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0) (SaplParser.factor_def0 _x_0)) (SaplParser.factor_def0 _x_0) SaplParser.factor_def0 !_x_0 = SaplParser.anon_140 (_predefined._Tuple2 Maybe.Nothing _x_0) SaplParser.anon_52 as_0 !_x_1 = select _x_1 (\ t_1_0 ts_1_1 = <{SaplParser._c;131;32_195}> t_1_0 ts_1_1 as_0) SaplParser.args__53 ts_0 as_1 = <{SaplParser.>>=}> (SaplParser.factor ts_0) (SaplParser.anon_52 as_1) SaplParser.args_factor ts_0 = SaplParser.args__53 ts_0 _predefined._Nil SaplParser.anon_31 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = <{SaplParser.>>=}> (SaplParser.args_factor ts_1_1) (SaplParser.anon_30 t_1_0)) SaplParser.anon_32 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = <{SaplParser.>>=}> (<{SaplParser._c;57;28_194}> t_1_0 ts_1_1) SaplParser.anon_31) SaplParser.application !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.application_def0 _x_0) (\ _uv1_2_0 = SaplParser.application_def0 _x_0) (\ _uv1_2_0 = SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (<{SaplParser.>>=}> (SaplParser.application ts_1_1) SaplParser.anon_29) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (\ _uv1_2_0 = SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0) (SaplParser.application_def0 _x_0)) (SaplParser.application_def0 _x_0) SaplParser.application_def0 !_x_0 = <{SaplParser.>>=}> (SaplParser.factor _x_0) SaplParser.anon_32 <{SaplParser._c;131;32_195}> !t_0 ts_1 as_2 = select t_0 (<{SaplParser._c;131;32_195_def0}> t_0 ts_1 as_2) (\ r_1_0 = SaplParser.args__53 ts_1 (_predefined._Cons r_1_0 as_2)) <{SaplParser._c;131;32_195_def0}> !t_0 ts_1 as_2 = SaplParser.anon_143 (_predefined._Tuple2 (StdList.reverse as_2) ts_1) <{SaplParser._c;57;28_194}> !t_0 ts_1 = select t_0 (<{SaplParser._c;57;28_194_def0}> t_0 ts_1) (\ t_1_0 = SaplParser.anon_141 (_predefined._Tuple2 t_1_0 ts_1)) <{SaplParser._c;57;28_194_def0}> !t_0 ts_1 = SaplParser.anon_142 (_predefined._Tuple2 ts_1 "Invalid application") SaplParser.anon_37 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = <{SaplParser._c;81;28_196}> t_1_0 ts_1_1) <{SaplParser._c;81;28_196}> !t_0 ts_1 = select t_0 (<{SaplParser._c;81;28_196_def0}> t_0 ts_1) (\ t_1_0 = SaplParser.anon_154 (_predefined._Tuple2 t_1_0 ts_1)) <{SaplParser._c;81;28_196_def0}> !t_0 ts_1 = SaplParser.application ts_1 SaplParser.anon_165 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_153 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_33 pred_0 lhs_1 !_x_2 = select _x_2 (\ rhs_1_0 ts_1_1 = SaplParser.anon_153 (_predefined._Tuple2 (Maybe.Just (SaplParser.SCase pred_0 lhs_1 rhs_1_0)) ts_1_1)) SaplParser.anon_152 e_0 s_1 = Error.Error e_0 SaplParser.anon_151 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.mandatory errmsg_0 !_x_1 = select _x_1 (\ _x_1_0 ts_1_1 = select _x_1_0 (SaplParser.anon_152 (_predefined._Tuple2 ts_1_1 errmsg_0)) (\ t_2_0 = SaplParser.anon_151 (_predefined._Tuple2 t_2_0 ts_1_1))) SaplParser.anon_169 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_149 e_0 s_1 = Error.Error e_0 SaplParser.anon_148 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_57 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = <{SaplParser._c;147;28_197}> (StdList.hd ts_1_1) t_1_0 ts_1_1) <{SaplParser._c;147;28_197}> !_x_0 t_1 ts_2 = select _x_0 (\ _uv1_1_0 = <{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (SaplParser.anon_148 (_predefined._Tuple2 t_1 (StdList.tl ts_2))) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (\ _uv1_1_0 = <{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) (<{SaplParser._c;147;28_197_def0}> _x_0 t_1 ts_2) <{SaplParser._c;147;28_197_def0}> !_x_0 t_1 ts_2 = SaplParser.anon_149 (_predefined._Tuple2 ts_2 "Missing close parenthesis") SaplParser.anon_147 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_56 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = SaplParser.anon_147 (_predefined._Tuple2 (Maybe.Just t_1_0) ts_1_1)) SaplParser.anon_167 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_166 a_0 s_1 = Error.Ok (_predefined._Tuple2 a_0 (SaplParser.set_ps_level_0 s_1 (<{StdInt.+_6}> (SaplParser.get_ps_level_0 s_1) 1))) SaplParser.anon_168 e_0 s_1 = Error.Error e_0 SaplParser.anon_146 a_0 s_1 = Error.Ok (_predefined._Tuple2 a_0 (SaplParser.set_ps_level_0 s_1 (<{StdInt.-_7}> (SaplParser.get_ps_level_0 s_1) 1))) SaplParser.decLevel_145 a_0 = SaplParser.anon_146 a_0 SaplParser.anon_144 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_49 as_0 !_x_1 = select _x_1 (\ t_1_0 ts_1_1 = <{SaplParser.>>=}> (SaplParser.anon_144 (_predefined._Tuple2 (Maybe.Just (SaplParser.SLambda t_1_0 as_0)) ts_1_1)) SaplParser.decLevel_145) SaplParser.anon_112 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_111 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_59 !ts_0 name_1 as_2 level_3 = SaplParser.args__60 ts_0 (_predefined._Cons (SaplParser.SName name_1 level_3) as_2) SaplParser.args__60 !_x_0 as_1 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ name_2_0 = <{SaplParser.>>=}> SaplParser.anon_111 (SaplParser.anon_59 ts_1_1 name_2_0 as_1)) (\ _uv1_2_0 = SaplParser.args__60_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1) (SaplParser.args__60_def0 _x_0 as_1)) (SaplParser.args__60_def0 _x_0 as_1) SaplParser.args__60_def0 !_x_0 as_1 = SaplParser.anon_112 (_predefined._Tuple2 (StdList.reverse as_1) _x_0) SaplParser.args !ts_0 = SaplParser.args__60 ts_0 _predefined._Nil SaplParser.anon_150 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_36 !_x_0 = select _x_0 (\ as_1_0 ts_1_1 = SaplParser.anon_150 (_predefined._Tuple2 (Maybe.Just (SaplParser.SSelect as_1_0)) ts_1_1)) SaplParser.anon_170 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_159 e_0 s_1 = Error.Error e_0 SaplParser.anon_158 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_157 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_160 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_40 name_0 as_1 level_2 !_x_3 = select _x_3 (\ t_1_0 ts_1_1 = SaplParser.letdef_2_43 ts_1_1 (_predefined._Cons (SaplParser.SStrictLetDefinition (SaplParser.SName name_0 level_2) t_1_0) as_1)) SaplParser.anon_41 name_0 as_1 ts_2 level_3 = <{SaplParser.>>=}> (SaplParser.application ts_2) (SaplParser.anon_40 name_0 as_1 level_3) SaplParser.letdef_2_43 !_x_0 as_1 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.letdef_2_43_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.letdef_2_43_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_1_42 ts_1_1 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1) (SaplParser.letdef_2_43_def0 _x_0 as_1)) (SaplParser.letdef_2_43_def0 _x_0 as_1) SaplParser.letdef_2_43_def0 !_x_0 as_1 = SaplParser.anon_160 (_predefined._Tuple2 (StdList.reverse as_1) _x_0) SaplParser.anon_38 name_0 as_1 level_2 !_x_3 = select _x_3 (\ t_1_0 ts_1_1 = SaplParser.letdef_2_43 ts_1_1 (_predefined._Cons (SaplParser.SLetDefinition (SaplParser.SName name_0 level_2) t_1_0) as_1)) SaplParser.anon_39 name_0 as_1 ts_2 level_3 = <{SaplParser.>>=}> (SaplParser.application ts_2) (SaplParser.anon_38 name_0 as_1 level_3) SaplParser.letdef_1_42 !_x_0 as_1 = select _x_0 (\ _x_1_0 _x_1_1 = select _x_1_0 (\ name_2_0 = select _x_1_1 (\ _x_3_0 ts_3_1 = select _x_3_0 (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (<{SaplParser.>>=}> SaplParser.anon_157 (SaplParser.anon_39 name_2_0 as_1 ts_3_1)) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1)) (SaplParser.letdef_1_42_def0 _x_0 as_1)) (\ name_2_0 = select _x_1_1 (\ _x_3_0 ts_3_1 = select _x_3_0 (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (<{SaplParser.>>=}> SaplParser.anon_158 (SaplParser.anon_41 name_2_0 as_1 ts_3_1)) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (\ _uv1_4_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1)) (SaplParser.letdef_1_42_def0 _x_0 as_1)) (\ _uv1_2_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1) (SaplParser.letdef_1_42_def0 _x_0 as_1)) (SaplParser.letdef_1_42_def0 _x_0 as_1) SaplParser.letdef_1_42_def0 !_x_0 as_1 = SaplParser.anon_159 (_predefined._Tuple2 _x_0 "Invalid \"let\" definition") SaplParser.letdefinitions !ts_0 = SaplParser.letdef_1_42 ts_0 _predefined._Nil SaplParser.anon_156 e_0 s_1 = Error.Error e_0 SaplParser.anon_155 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.skip_48 !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (\ _uv1_2_0 = SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (\ _uv1_2_0 = SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.anon_155 (_predefined._Tuple2 SaplParser.SAbortBody ts_1_1)) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (\ _uv1_2_0 = SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0) (SaplParser.skip_48_def0 _x_1_0 ts_1_1 _x_0)) (SaplParser.anon_156 (_predefined._Tuple2 _predefined._Nil "Missing close bracket in ABC code definition")) SaplParser.skip_48_def0 _x_0 ts_1 !_x_2 = SaplParser.skip_48 ts_1 SaplParser.anon_54 as_0 !_x_1 = select _x_1 (\ t_1_0 ts_1_1 = <{SaplParser._c;138;32_201}> t_1_0 ts_1_1 as_0) SaplParser.args__55 ts_0 as_1 = <{SaplParser.>>=}> (SaplParser.arg_adv ts_0) (SaplParser.anon_54 as_1) SaplParser.args_adv ts_0 = SaplParser.args__55 ts_0 _predefined._Nil SaplParser.anon_50 !_x_0 = select _x_0 (\ as_1_0 ts_1_1 = <{SaplParser.>>=}> (<{SaplParser._c;120;25_200}> (StdList.hd ts_1_1) ts_1_1) (SaplParser.anon_49 as_1_0)) SaplParser.anon_51 ts_0 = <{SaplParser.>>=}> (SaplParser.args ts_0) SaplParser.anon_50 SaplParser.lambdaexpr !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.lambdaexpr_def0 _x_0) (\ _uv1_2_0 = SaplParser.lambdaexpr_def0 _x_0) (\ _uv1_2_0 = SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (<{SaplParser.>>=}> (SaplParser.anon_166 ts_1_1) SaplParser.anon_51) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (\ _uv1_2_0 = SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0) (SaplParser.lambdaexpr_def0 _x_0)) (SaplParser.lambdaexpr_def0 _x_0) SaplParser.lambdaexpr_def0 !_x_0 = SaplParser.anon_167 (_predefined._Tuple2 Maybe.Nothing _x_0) SaplParser.anon_58 !_x_0 = select _x_0 (\ t_1_0 ts_1_1 = <{SaplParser.>>=}> (<{SaplParser._c;144;28_199}> t_1_0 ts_1_1) SaplParser.anon_57) SaplParser.arg_adv !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.arg_adv_def0 _x_0) (\ _uv1_2_0 = SaplParser.arg_adv_def0 _x_0) (\ _uv1_2_0 = SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (<{SaplParser.>>=}> (SaplParser.lambdaexpr ts_1_1) SaplParser.anon_58) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (\ _uv1_2_0 = SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0) (SaplParser.arg_adv_def0 _x_0)) (SaplParser.arg_adv_def0 _x_0) SaplParser.arg_adv_def0 !_x_0 = SaplParser.factor _x_0 SaplParser.anon_34 pred_0 !_x_1 = select _x_1 (\ lhs_1_0 ts_1_1 = <{SaplParser.>>=}> (<{SaplParser.>>=}> (SaplParser.arg_adv ts_1_1) (SaplParser.mandatory "Missing right hand side")) (SaplParser.anon_33 pred_0 lhs_1_0)) SaplParser.anon_35 !_x_0 = select _x_0 (\ pred_1_0 ts_1_1 = <{SaplParser.>>=}> (<{SaplParser.>>=}> (SaplParser.arg_adv ts_1_1) (SaplParser.mandatory "Missing left hand side")) (SaplParser.anon_34 pred_1_0)) SaplParser.selectexpr !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.selectexpr_def0 _x_0) (\ _uv1_2_0 = SaplParser.selectexpr_def0 _x_0) (\ _uv1_2_0 = SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (\ _uv1_2_0 = SaplParser.selectexpr_def0 _x_0) (<{SaplParser.>>=}> (SaplParser.args_adv ts_1_1) SaplParser.anon_36) (<{SaplParser.>>=}> (<{SaplParser.>>=}> (SaplParser.arg_adv ts_1_1) (SaplParser.mandatory "Missing predicate")) SaplParser.anon_35) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0) (SaplParser.selectexpr_def0 _x_0)) (SaplParser.selectexpr_def0 _x_0) SaplParser.selectexpr_def0 !_x_0 = SaplParser.anon_165 (_predefined._Tuple2 Maybe.Nothing _x_0) SaplParser.mainexpr ts_0 = <{SaplParser.>>=}> (SaplParser.selectexpr ts_0) SaplParser.anon_37 SaplParser.anon_45 ds_0 ts_1 = <{SaplParser.>>=}> (SaplParser.mainexpr ts_1) (SaplParser.anon_44 ds_0) SaplParser.anon_46 !_x_0 = select _x_0 (\ ds_1_0 ts_1_1 = <{SaplParser.>>=}> (<{SaplParser._c;102;29_198}> (StdList.hd ts_1_1) ts_1_1) (SaplParser.anon_45 ds_1_0)) SaplParser.anon_47 ts_0 = <{SaplParser.>>=}> (SaplParser.letdefinitions ts_0) SaplParser.anon_46 SaplParser.body !_x_0 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.body_def0 _x_0) (\ _uv1_2_0 = SaplParser.body_def0 _x_0) (\ _uv1_2_0 = SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.skip_48 ts_1_1) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (\ _uv1_2_0 = SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0) (<{SaplParser.>>=}> (SaplParser.anon_164 ts_1_1) SaplParser.anon_47) (SaplParser.body_def0 _x_0) (SaplParser.body_def0 _x_0)) (SaplParser.body_def0 _x_0) SaplParser.body_def0 !_x_0 = SaplParser.mainexpr _x_0 <{SaplParser._c;138;32_201}> !t_0 ts_1 as_2 = select t_0 (<{SaplParser._c;138;32_201_def0}> t_0 ts_1 as_2) (\ r_1_0 = SaplParser.args__55 ts_1 (_predefined._Cons r_1_0 as_2)) <{SaplParser._c;138;32_201_def0}> !t_0 ts_1 as_2 = SaplParser.anon_170 (_predefined._Tuple2 (StdList.reverse as_2) ts_1) <{SaplParser._c;120;25_200}> !_x_0 ts_1 = select _x_0 (\ _uv1_1_0 = <{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (SaplParser.body (StdList.tl ts_1)) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) (<{SaplParser._c;120;25_200_def0}> _x_0 ts_1) <{SaplParser._c;120;25_200_def0}> !_x_0 ts_1 = SaplParser.anon_168 (_predefined._Tuple2 ts_1 "Missing asignment operator") <{SaplParser._c;144;28_199}> !t_0 ts_1 = select t_0 (<{SaplParser._c;144;28_199_def0}> t_0 ts_1) (\ _x_1_0 = SaplParser.anon_169 (_predefined._Tuple2 t_0 ts_1)) <{SaplParser._c;144;28_199_def0}> !t_0 ts_1 = <{SaplParser.>>=}> (SaplParser.body ts_1) SaplParser.anon_56 <{SaplParser._c;102;29_198}> !_x_0 ts_1 = select _x_0 (\ _uv1_1_0 = <{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) (SaplParser.anon_171 (StdList.tl ts_1)) (<{SaplParser._c;102;29_198_def0}> _x_0 ts_1) <{SaplParser._c;102;29_198_def0}> !_x_0 ts_1 = SaplParser.anon_172 (_predefined._Tuple2 ts_1 "Missing \"in\" keyword") SaplParser.anon_78 name_0 ts_1 level_2 = <{SaplParser.>>=}> (SaplParser.body ts_1) (SaplParser.anon_77 name_0 level_2) SaplParser.anon_179 e_0 s_1 = Error.Error e_0 SaplParser.anon_178 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_177 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_176 args_0 name_1 s_2 = Error.Ok (_predefined._Tuple2 name_1 (SaplParser.set_ps_functions_2 s_2 (Map.put (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{SaplParser.==_3}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{SaplParser.<_4}>)) name_1 args_0 (SaplParser.get_ps_functions_2 s_2)))) SaplParser.anon_175 args_0 name_1 s_2 = Error.Ok (_predefined._Tuple2 name_1 (SaplParser.set_ps_functions_2 s_2 (Map.put (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{SaplParser.==_3}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{SaplParser.<_4}>)) name_1 args_0 (SaplParser.get_ps_functions_2 s_2)))) SaplParser.anon_174 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_80 as_0 ts_1 t_2 tname_3 = SaplParser.anon_174 (_predefined._Tuple2 (SaplParser.FTMacro tname_3 t_2 as_0) ts_1) SaplParser.anon_173 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_79 as_0 ts_1 t_2 tname_3 = SaplParser.anon_173 (_predefined._Tuple2 (SaplParser.FTFunc tname_3 t_2 as_0) ts_1) SaplParser.anon_81 name_0 level_1 as_2 !func_3 !_x_4 = select _x_4 (\ t_1_0 ts_1_1 = if func_3 (<{SaplParser.>>=}> (SaplParser.anon_175 as_2 (SaplParser.SName name_0 level_1)) (SaplParser.anon_79 as_2 ts_1_1 t_1_0)) (<{SaplParser.>>=}> (SaplParser.anon_176 as_2 (SaplParser.SName name_0 level_1)) (SaplParser.anon_80 as_2 ts_1_1 t_1_0))) SaplParser.anon_82 name_0 level_1 as_2 !_x_3 = select _x_3 (\ func_1_0 ts_1_1 = <{SaplParser.>>=}> (SaplParser.body ts_1_1) (SaplParser.anon_81 name_0 level_1 as_2 func_1_0)) SaplParser.anon_83 name_0 level_1 !_x_2 = select _x_2 (\ as_1_0 ts_1_1 = <{SaplParser.>>=}> (<{SaplParser._c;207;29_202}> (StdList.hd ts_1_1) ts_1_1) (SaplParser.anon_82 name_0 level_1 as_1_0)) <{SaplParser._c;207;29_202}> !_x_0 ts_1 = select _x_0 (\ _uv1_1_0 = <{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (SaplParser.anon_177 (_predefined._Tuple2 True (StdList.tl ts_1))) (SaplParser.anon_178 (_predefined._Tuple2 False (StdList.tl ts_1))) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (\ _uv1_1_0 = <{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) (<{SaplParser._c;207;29_202_def0}> _x_0 ts_1) <{SaplParser._c;207;29_202_def0}> !_x_0 ts_1 = SaplParser.anon_179 (_predefined._Tuple2 ts_1 "Missing assignment operator") SaplParser.anon_130 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_129 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_61 !ts_0 name_1 as_2 level_3 = SaplParser.args__62 ts_0 (_predefined._Cons (SaplParser.SName name_1 level_3) as_2) SaplParser.args__62 !_x_0 as_1 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ name_2_0 = <{SaplParser.>>=}> SaplParser.anon_129 (SaplParser.anon_61 ts_1_1 name_2_0 as_1)) (\ name_2_0 = SaplParser.args__62 ts_1_1 (_predefined._Cons (SaplParser.SStrictName name_2_0) as_1)) (\ _uv1_2_0 = SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1) (SaplParser.args__62_def0 _x_0 as_1)) (SaplParser.args__62_def0 _x_0 as_1) SaplParser.args__62_def0 !_x_0 as_1 = SaplParser.anon_130 (_predefined._Tuple2 (StdList.reverse as_1) _x_0) SaplParser.args_annotated !ts_0 = SaplParser.args__62 ts_0 _predefined._Nil SaplParser.anon_84 name_0 ts_1 level_2 = <{SaplParser.>>=}> (SaplParser.args_annotated ts_1) (SaplParser.anon_83 name_0 level_2) SaplParser.anon_128 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_85 !_x_0 = select _x_0 (\ f_1_0 ts_1_1 = SaplParser.anon_128 (_predefined._Tuple2 f_1_0 ts_1_1)) SaplParser.anon_127 e_0 s_1 = Error.Error e_0 SaplParser.anon_126 e_0 s_1 = Error.Error e_0 SaplParser.anon_125 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_124 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_123 e_0 s_1 = Error.Error e_0 SaplParser.anon_122 args_0 name_1 s_2 = Error.Ok (_predefined._Tuple2 name_1 (SaplParser.set_ps_constructors_1 s_2 (Map.put (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{SaplParser.==_3}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{SaplParser.<_4}>)) name_1 args_0 (SaplParser.get_ps_constructors_1 s_2)))) SaplParser.anon_121 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_71 ts_0 as_1 tname_2 = SaplParser.anon_121 (_predefined._Tuple2 (SaplParser.FTRecord tname_2 as_1) (StdList.tl ts_0)) SaplParser.anon_72 name_0 level_1 !_x_2 = select _x_2 (\ as_1_0 ts_1_1 = <{SaplParser._c;186;29_203}> (StdList.hd ts_1_1) as_1_0 name_0 level_1 ts_1_1) <{SaplParser._c;186;29_203}> !_x_0 as_1 name_2 level_3 ts_4 = select _x_0 (\ _uv1_1_0 = <{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (\ _uv1_1_0 = <{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (\ _uv1_1_0 = <{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser.>>=}> (SaplParser.anon_122 as_1 (SaplParser.SName name_2 level_3)) (SaplParser.anon_71 ts_4 as_1)) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (\ _uv1_1_0 = <{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) (<{SaplParser._c;186;29_203_def0}> _x_0 as_1 name_2 level_3 ts_4) <{SaplParser._c;186;29_203_def0}> !_x_0 as_1 name_2 level_3 ts_4 = SaplParser.anon_123 (_predefined._Tuple2 ts_4 "Missing close parenthesis3") SaplParser.anon_119 e_0 s_1 = Error.Error e_0 SaplParser.anon_118 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_120 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.args_2_65 !_x_0 as_1 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.args_2_65_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args_2_65_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_1_64 ts_1_1 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1) (SaplParser.args_2_65_def0 _x_0 as_1)) (SaplParser.args_2_65_def0 _x_0 as_1) SaplParser.args_2_65_def0 !_x_0 as_1 = SaplParser.anon_120 (_predefined._Tuple2 (StdList.reverse as_1) _x_0) SaplParser.anon_63 !ts_0 name_1 as_2 level_3 = SaplParser.args_2_65 ts_0 (_predefined._Cons (SaplParser.SName name_1 level_3) as_2) SaplParser.args_1_64 !_x_0 as_1 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ name_2_0 = <{SaplParser.>>=}> SaplParser.anon_118 (SaplParser.anon_63 ts_1_1 name_2_0 as_1)) (\ _uv1_2_0 = SaplParser.args_1_64_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (\ _uv1_2_0 = SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1) (SaplParser.args_1_64_def0 _x_0 as_1)) (SaplParser.args_1_64_def0 _x_0 as_1) SaplParser.args_1_64_def0 !_x_0 as_1 = SaplParser.anon_119 (_predefined._Tuple2 _x_0 "Missing argument") SaplParser.args_record !ts_0 = SaplParser.args_1_64 ts_0 _predefined._Nil SaplParser.anon_73 name_0 ts_1 level_2 = <{SaplParser.>>=}> (SaplParser.args_record ts_1) (SaplParser.anon_72 name_0 level_2) SaplParser.anon_117 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.anon_74 name_0 level_1 !_x_2 = select _x_2 (\ as_1_0 ts_1_1 = SaplParser.anon_117 (_predefined._Tuple2 (SaplParser.FTADT (SaplParser.SName name_0 level_1) as_1_0) ts_1_1)) SaplParser.anon_114 e_0 s_1 = Error.Error e_0 SaplParser.anon_113 s_0 = Error.Ok (_predefined._Tuple2 (SaplParser.get_ps_level_0 s_0) s_0) SaplParser.anon_115 args_0 name_1 s_2 = Error.Ok (_predefined._Tuple2 name_1 (SaplParser.set_ps_constructors_1 s_2 (Map.put (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{SaplParser.==_3}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{SaplParser.<_4}>)) name_1 args_0 (SaplParser.get_ps_constructors_1 s_2)))) SaplParser.anon_116 r_0 s_1 = Error.Ok (_predefined._Tuple2 r_0 s_1) SaplParser.args_2_70 !_x_0 cs_1 i_2 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (\ _uv1_2_0 = SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (\ _uv1_2_0 = SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69 ts_1_1 cs_1 (<{StdInt.+_6}> i_2 1)) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (\ _uv1_2_0 = SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2)) (SaplParser.args_2_70_def0 _x_0 cs_1 i_2) SaplParser.args_2_70_def0 !_x_0 cs_1 i_2 = SaplParser.anon_116 (_predefined._Tuple2 (StdList.reverse cs_1) _x_0) SaplParser.anon_66 cs_0 i_1 !ts_2 ss_3 tname_4 = SaplParser.args_2_70 ts_2 (_predefined._Cons (SaplParser.SConstructor tname_4 i_1 ss_3) cs_0) i_1 SaplParser.anon_67 cs_0 i_1 name_2 level_3 !_x_4 = select _x_4 (\ ss_1_0 ts_1_1 = <{SaplParser.>>=}> (SaplParser.anon_115 ss_1_0 (SaplParser.SName name_2 level_3)) (SaplParser.anon_66 cs_0 i_1 ts_1_1 ss_1_0)) SaplParser.anon_68 cs_0 i_1 name_2 ts_3 level_4 = <{SaplParser.>>=}> (SaplParser.args ts_3) (SaplParser.anon_67 cs_0 i_1 name_2 level_4) SaplParser.args_1_69 !_x_0 cs_1 i_2 = select _x_0 (\ _x_1_0 ts_1_1 = select _x_1_0 (\ name_2_0 = <{SaplParser.>>=}> SaplParser.anon_113 (SaplParser.anon_68 cs_1 i_2 name_2_0 ts_1_1)) (\ _uv1_2_0 = SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (\ _uv1_2_0 = SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (\ _uv1_2_0 = SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2)) (SaplParser.args_1_69_def0 _x_0 cs_1 i_2) SaplParser.args_1_69_def0 !_x_0 cs_1 i_2 = SaplParser.anon_114 (_predefined._Tuple2 _x_0 "Missing argument") SaplParser.args_adt !ts_0 = SaplParser.args_1_69 ts_0 _predefined._Nil 0 SaplParser.anon_75 name_0 ts_1 level_2 = <{SaplParser.>>=}> (SaplParser.args_adt ts_1) (SaplParser.anon_74 name_0 level_2) SaplParser.constr !_x_0 = select _x_0 (\ _x_1_0 _x_1_1 = select _x_1_0 (\ _uv1_2_0 = SaplParser.constr_def0 _x_0) (\ _uv1_2_0 = SaplParser.constr_def0 _x_0) (\ _uv1_2_0 = SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (select _x_1_1 (\ _x_3_0 _x_3_1 = select _x_3_0 (\ name_4_0 = select _x_3_1 (\ _x_5_0 _x_5_1 = select _x_5_0 (\ _uv1_6_0 = SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (\ _uv1_6_0 = SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (\ _uv1_6_0 = SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (select _x_5_1 (\ _x_7_0 ts_7_1 = select _x_7_0 (\ _uv1_8_0 = SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (\ _uv1_8_0 = SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (\ _uv1_8_0 = SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (<{SaplParser.>>=}> SaplParser.anon_124 (SaplParser.anon_73 name_4_0 ts_7_1)) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (\ _uv1_8_0 = SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0)) (SaplParser.constr_def2 _x_5_0 _x_5_1 name_4_0 _x_3_0 _x_3_1 _x_1_0 _x_1_1 _x_0)) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (\ _uv1_6_0 = SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0)) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0)) (\ _uv1_4_0 = SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (\ _uv1_4_0 = SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (\ _uv1_4_0 = SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0)) (SaplParser.constr_def1 _x_1_0 _x_1_1 _x_0)) (\ _uv1_2_0 = SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0) (SaplParser.constr_def0 _x_0)) (SaplParser.constr_def0 _x_0) SaplParser.constr_def0 !_x_0 = SaplParser.anon_127 (_predefined._Tuple2 _x_0 "Not a type definition") SaplParser.constr_def1 _x_0 _x_1 !_x_2 = SaplParser.anon_126 (_predefined._Tuple2 _x_1 "Invalid type definition") SaplParser.constr_def2 _x_0 _x_1 name_2 _x_3 _x_4 _x_5 _x_6 !_x_7 = <{SaplParser.>>=}> SaplParser.anon_125 (SaplParser.anon_75 name_2 _x_1) SaplParser.func !_x_0 = select _x_0 (\ _x_1_0 _x_1_1 = select _x_1_0 (\ name_2_0 = select _x_1_1 (\ _x_3_0 ts_3_1 = select _x_3_0 (\ _uv1_4_0 = SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (\ _uv1_4_0 = SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (\ _uv1_4_0 = SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (<{SaplParser.>>=}> SaplParser.anon_182 (SaplParser.anon_78 name_2_0 ts_3_1)) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (\ _uv1_4_0 = SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0)) (SaplParser.func_def1 name_2_0 _x_1_0 _x_1_1 _x_0)) (\ _uv1_2_0 = SaplParser.func_def0 _x_0) (\ _uv1_2_0 = SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (<{SaplParser.>>=}> (SaplParser.constr _x_0) SaplParser.anon_85) (\ _uv1_2_0 = SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0) (SaplParser.func_def0 _x_0)) (SaplParser.func_def0 _x_0) SaplParser.func_def0 !_x_0 = SaplParser.anon_184 (_predefined._Tuple2 _x_0 "Not a function or type definition") SaplParser.func_def1 name_0 _x_1 _x_2 !_x_3 = <{SaplParser.>>=}> SaplParser.anon_183 (SaplParser.anon_84 name_0 _x_2) SaplParser.anon_86 fs_0 f_1 !ts_2 = if (<{StdInt.==_16}> (StdList.length_47 ts_2) 0) (SaplParser.anon_185 (_predefined._Tuple2 (_predefined._Cons f_1 fs_0) ts_2)) (SaplParser.program ts_2 (_predefined._Cons f_1 fs_0)) SaplParser.anon_87 fs_0 !_x_1 = select _x_1 (\ f_1_0 ts_1_1 = <{SaplParser.>>=}> (SaplParser.skip_newlines ts_1_1) (SaplParser.anon_86 fs_0 f_1_0)) SaplParser.anon_88 fs_0 ts_1 = <{SaplParser.>>=}> (SaplParser.func ts_1) (SaplParser.anon_87 fs_0) SaplParser.program ts_0 fs_1 = <{SaplParser.>>=}> (SaplParser.skip_newlines ts_0) (SaplParser.anon_88 fs_1) SaplParser.findpos_90 !_vlength_0 !pts_1 rest_ts_2 = <{SaplParser._c;237;11_204}> (StdList.hd (StdList.drop (<{StdInt.-_7}> (<{StdInt.-_7}> (StdList.length_47 pts_1) (StdOverloaded.get_length_10 _vlength_0 rest_ts_2)) 1) pts_1)) <{SaplParser._c;237;11_204}> !_x_0 = select _x_0 (\ lp_1_0 cp_1_1 _x_1_2 = _predefined._Tuple2 lp_1_0 cp_1_1) SaplParser.findpos_186 !pts_0 !rest_ts_1 = <{SaplParser._c;237;11_205}> (StdList.hd (StdList.drop (<{StdInt.-_7}> (<{StdInt.-_7}> (StdList.length_47 pts_0) (StdList.length_47 rest_ts_1)) 1) pts_0)) <{SaplParser._c;237;11_205}> !_x_0 = select _x_0 (\ lp_1_0 cp_1_1 _x_1_2 = _predefined._Tuple2 lp_1_0 cp_1_1) SaplParser.parse !pts_0 = <{SaplParser._c;231;7_206}> (SaplParser.program (StdList.map SaplParser.anon_89 pts_0) _predefined._Nil SaplParser.defaultState) pts_0 <{SaplParser._c;231;7_206}> !_x_0 pts_1 = select _x_0 (\ _x_1_0 = select _x_1_0 (\ ts_2_0 msg_2_1 = let _x_3_0 = SaplParser.findpos_186 pts_1 ts_2_0 in Error.Error (<{StdString.+++_11}> msg_2_1 (<{StdString.+++_11}> " at line " (<{StdString.+++_11}> (StdString.toString_5 (_predefined.tupsels2v0 _x_3_0)) (<{StdString.+++_11}> " before charachter " (StdString.toString_5 (_predefined.tupsels2v1 _x_3_0)))))))) (\ _x_1_0 = select _x_1_0 (\ _x_2_0 ps_2_1 = select _x_2_0 (\ fts_3_0 _x_3_1 = Error.Ok (_predefined._Tuple2 fts_3_0 ps_2_1)))) SaplParser.anon_91 !_x_0 = select _x_0 (\ _x_1_0 _x_1_1 t_1_2 = t_1_2) SaplParser.findpos_92 !_vlength_0 !pts_1 rest_ts_2 = <{SaplParser._c;249;11_207}> (StdList.hd (StdList.drop (<{StdInt.-_7}> (<{StdInt.-_7}> (StdList.length_47 pts_1) (StdOverloaded.get_length_10 _vlength_0 rest_ts_2)) 1) pts_1)) <{SaplParser._c;249;11_207}> !_x_0 = select _x_0 (\ lp_1_0 cp_1_1 _x_1_2 = _predefined._Tuple2 lp_1_0 cp_1_1) SaplParser.findpos_187 !pts_0 !rest_ts_1 = <{SaplParser._c;249;11_208}> (StdList.hd (StdList.drop (<{StdInt.-_7}> (<{StdInt.-_7}> (StdList.length_47 pts_0) (StdList.length_47 rest_ts_1)) 1) pts_0)) <{SaplParser._c;249;11_208}> !_x_0 = select _x_0 (\ lp_1_0 cp_1_1 _x_1_2 = _predefined._Tuple2 lp_1_0 cp_1_1) SaplParser.parseExpr !pts_0 = <{SaplParser._c;243;7_209}> (SaplParser.body (StdList.map SaplParser.anon_91 pts_0) SaplParser.defaultState) pts_0 <{SaplParser._c;243;7_209}> !_x_0 pts_1 = select _x_0 (\ _x_1_0 = select _x_1_0 (\ ts_2_0 msg_2_1 = let _x_3_0 = SaplParser.findpos_187 pts_1 ts_2_0 in Error.Error (<{StdString.+++_11}> msg_2_1 (<{StdString.+++_11}> " at line " (<{StdString.+++_11}> (StdString.toString_5 (_predefined.tupsels2v0 _x_3_0)) (<{StdString.+++_11}> " before charachter " (StdString.toString_5 (_predefined.tupsels2v1 _x_3_0)))))))) (\ _x_1_0 = select _x_1_0 (\ _x_2_0 ps_2_1 = select _x_2_0 (\ fts_3_0 _x_3_1 = Error.Ok (_predefined._Tuple2 fts_3_0 ps_2_1)))) SaplParser.mergeMaps_93 !_vEq_0 !_vOrd_1 !m1_2 !m2_3 = Map.putList _vEq_0 _vOrd_1 (Map.toList m2_3) m1_2 SaplParser.mergeMaps_188 !_vOrd_0 !m1_1 !m2_2 = Map.putList (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{SaplParser.==_3}>)) _vOrd_0 (Map.toList m2_2) m1_1 SaplParser.mergeMaps_189 !m1_0 !m2_1 = Map.putList (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{SaplParser.==_3}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{SaplParser.<_4}>)) (Map.toList m2_1) m1_0 SaplParser.mergeParserStates !pst1_0 !_x_1 = select _x_1 pst1_0 (\ pst2_1_0 = SaplParser.set_ps_CAFs_3 (SaplParser.set_ps_functions_2 (SaplParser.set_ps_constructors_1 pst1_0 (SaplParser.mergeMaps_189 (SaplParser.get_ps_constructors_1 pst1_0) (SaplParser.get_ps_constructors_1 pst2_1_0))) (SaplParser.mergeMaps_189 (SaplParser.get_ps_functions_2 pst1_0) (SaplParser.get_ps_functions_2 pst2_1_0))) (SaplParser.mergeMaps_189 (SaplParser.get_ps_CAFs_3 pst1_0) (SaplParser.get_ps_CAFs_3 pst2_1_0))) :: SaplParser.FuncType = SaplParser.FTRecord a1 a2 | SaplParser.FTADT a1 a2 | SaplParser.FTCAF a1 a2 | SaplParser.FTMacro a1 a2 a3 | SaplParser.FTFunc a1 a2 a3 :: SaplParser.SaplTerm = SaplParser.SLambda a1 a2 | SaplParser.SConst a1 | SaplParser.SName a1 a2 | SaplParser.SStrictName a1 | SaplParser.SApplication a1 a2 | SaplParser.SCase a1 a2 a3 | SaplParser.SSelect a1 | SaplParser.SAbortBody | SaplParser.SLet a1 a2 | SaplParser.SLetDefinition a1 a2 | SaplParser.SStrictLetDefinition a1 a2 | SaplParser.SConstructor a1 a2 a3 || Converted Records :: SaplParser._ParserState = {SaplParser.ps_level, SaplParser.ps_constructors, SaplParser.ps_functions, SaplParser.ps_CAFs} SaplParser.get_ps_level_0 rec = select rec (\ a1 a2 a3 a4 = a1) SaplParser.get_ps_constructors_1 rec = select rec (\ a1 a2 a3 a4 = a2) SaplParser.get_ps_functions_2 rec = select rec (\ a1 a2 a3 a4 = a3) SaplParser.get_ps_CAFs_3 rec = select rec (\ a1 a2 a3 a4 = a4) SaplParser.set_ps_level_0 rec val = select rec (\ a1 a2 a3 a4 = SaplParser._ParserState val a2 a3 a4) SaplParser.set_ps_constructors_1 rec val = select rec (\ a1 a2 a3 a4 = SaplParser._ParserState a1 val a3 a4) SaplParser.set_ps_functions_2 rec val = select rec (\ a1 a2 a3 a4 = SaplParser._ParserState a1 a2 val a4) SaplParser.set_ps_CAFs_3 rec val = select rec (\ a1 a2 a3 a4 = SaplParser._ParserState a1 a2 a3 val)