Lines Matching defs:ds
20 val ds = new_data_store ();
73 fun process_hix_line basedir ds l =
80 ds ty_arg id_arg
84 update_data_store (false, report_error) ds ty_arg id_arg
88 update_data_store (false, report_error) ds ty_arg id_arg
92 update_data_store (false, report_error) ds ty_arg id_arg
95 update_data_store (false, report_error) ds ty_arg id_arg
98 update_data_store (false, report_error) ds ty_arg id_arg
101 update_data_store (false, report_error) ds ty_arg id_arg
105 ds)
110 ds
117 ds
125 foldl (fn (de, ds) => parse_entry___add_to_data_store ds de) ds
128 | _ => (report_error ("Error while parsing '"^filename^"' in '"^basedir^"'");ds))
129 | _ => (report_error ("Error line: "^l); ds)
526 val ds = parse_hix (basename ^ ".hix")
528 val dd = output_all_defs os ds
531 val _ = output_all_index os dd ds;