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_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)
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)
