9e341515bf2cb47a4c0a7b7d4f5b5ff0bd1b14bc,scripts/semantic_tools_test.py,ArbiAutoTypesTestCase,test_lexical_binary_two_coq_complex_type,#ArbiAutoTypesTestCase#,430

Before Change

    
        sentence = etree.fromstring(sentence_str)
        ccg_tree = assign_semantics_to_ccg(sentence, semantic_index)
        coq_lib = simplejson.loads(ccg_tree.get("coq_type"))
        expected_coq_lib = ["Parameter _base1 : Entity -> Prop -> Prop.",
                            "Parameter _base2 : Prop -> Entity -> Prop."]
        self.assertEqual(expected_coq_lib, coq_lib)
        expression = [ccg_tree.get("sem")]

After Change

    
        sentence = etree.fromstring(sentence_str)
        ccg_tree = assign_semantics_to_ccg(sentence, semantic_index)
        coq_lib = get_coq_types(ccg_tree)
        expected_coq_lib = ["Parameter _base1 : Entity -> Prop -> Prop.",
                            "Parameter _base2 : Prop -> Entity -> Prop."]
        self.assertEqual(expected_coq_lib, coq_lib)
        expression = [ccg_tree.get("sem")]

Instances