equal
deleted
inserted
replaced
102 [] => syntax |
102 [] => syntax |
103 | decls => |
103 | decls => |
104 let |
104 let |
105 val mixfixes' = mixfixes |> fold (add_mixfix prmode) (filter_out mixfix_struct decls); |
105 val mixfixes' = mixfixes |> fold (add_mixfix prmode) (filter_out mixfix_struct decls); |
106 val fixes' = fold (fn (((x, true), _), _) => cons x | _ => I) mixfixes' []; |
106 val fixes' = fold (fn (((x, true), _), _) => cons x | _ => I) mixfixes' []; |
107 val structs' = structs @ List.mapPartial prep_struct decls; |
107 val structs' = structs @ map_filter prep_struct decls; |
108 in build_syntax thy (mixfixes', (structs', fixes')) end); |
108 in build_syntax thy (mixfixes', (structs', fixes')) end); |
109 |
109 |
110 end; |
110 end; |
111 |
111 |
112 |
112 |