equal
deleted
inserted
replaced
497 |
497 |
498 val (fromto_chains', lambdas', _) = |
498 val (fromto_chains', lambdas', _) = |
499 add_prods prods' fromto_chains lambdas None prods2; |
499 add_prods prods' fromto_chains lambdas None prods2; |
500 |
500 |
501 val chains' = inverse_chains fromto_chains' []; |
501 val chains' = inverse_chains fromto_chains' []; |
502 in Pretty.writeln (Pretty.big_list "prods:" (pretty_gram (Gram {nt_count = nt_count', prod_count = prod_count', tags = tags', |
502 in Gram {nt_count = nt_count', prod_count = prod_count', tags = tags', |
503 chains = chains', lambdas = lambdas', prods = prods'}))); |
|
504 Gram {nt_count = nt_count', prod_count = prod_count', tags = tags', |
|
505 chains = chains', lambdas = lambdas', prods = prods'} |
503 chains = chains', lambdas = lambdas', prods = prods'} |
506 |
|
507 end; |
504 end; |
508 |
505 |
509 |
506 |
510 fun merge_grams gram_a gram_b = |
507 fun merge_grams gram_a gram_b = |
511 let |
508 let |