def test_expr_raised2(self): expr = lexpr(r'\x.nice(x)') order = 2 raised_expr = type_raise(expr, order) expected_raised_expr = lexpr(r'\P Q x.nice(P(Q, x))') self.assertEqual(expected_raised_expr, raised_expr)
def test_const_expr_raised1(self): expr = lexpr(r'nice') order = 1 raised_expr = type_raise(expr, order) expected_raised_expr = lexpr(r'\X.nice(X)') self.assertEqual(expected_raised_expr, raised_expr)