equal
deleted
inserted
replaced
302 target_data = target_data2, logic_data = logic_data2 } |
302 target_data = target_data2, logic_data = logic_data2 } |
303 ) = { |
303 ) = { |
304 modl = merge_module (modl1, modl2), |
304 modl = merge_module (modl1, modl2), |
305 gens = merge_gens (gens1, gens2), |
305 gens = merge_gens (gens1, gens2), |
306 logic_data = merge_logic_data (logic_data1, logic_data2), |
306 logic_data = merge_logic_data (logic_data1, logic_data2), |
307 target_data = Symtab.join (K (merge_target_data #> SOME)) |
307 target_data = Symtab.join (K merge_target_data) (target_data1, target_data2) |
308 (target_data1, target_data2) |
|
309 }; |
308 }; |
310 fun print _ _ = (); |
309 fun print _ _ = (); |
311 end); |
310 end); |
312 |
311 |
313 val _ = Context.add_setup CodegenData.init; |
312 val _ = Context.add_setup CodegenData.init; |