5b5d9a9aedf8e11b9609d28b26b6488bc20cb08b,scripts/semantic_types.py,,merge_dynamic_libraries,#Any#Any#Any#Any#,309

Before Change

    // required_predicates = set(normalize_token(t) for t in doc.xpath("//token/@base"))
    coq_lib_index = {coq_lib_entry.split()[1] : coq_lib_entry \
                       for coq_lib_entry in coq_lib}
    nltk_lib_index = {nltk_lib_entry.split()[1] : nltk_lib_entry \
                        for nltk_lib_entry in nltk_lib}
    result_lib = []
    for predicate in required_predicates:
        if predicate in reserved_predicates:
            continue

After Change

            preds_to_remove.add(pred)
    for pred in preds_to_remove:
        if pred in sig_merged:
            del sig_merged[pred]
    // Convert into coq style library entries.
    dynamic_library = []
    for predicate, pred_type in sig_merged.items():
        library_entry = build_library_entry(predicate, pred_type)

Instances