def test_goaleval():
x, y = var("x"), var("y")
g = eq(x, 2)
assert goaleval(g) == g
assert callable(goaleval((eq, x, 2)))
raises(EarlyGoalError, lambda: goaleval((membero, x, y)))
assert callable(goaleval((lall, (eq, x, 2))))
def test_goaleval():
x, y = var('x'), var('y')
g = eq(x, 2)
assert goaleval(g) == g
assert callable(goaleval((eq, x, 2)))
raises(EarlyGoalError, lambda: goaleval((membero, x, y)))
assert callable(goaleval((lall, (eq, x, 2))))
def test_raises():
raises(ZeroDivisionError, lambda: 1/0)
def test_heado():
x, y = var('x'), var('y')
assert results(heado(x, (1,2,3))) == ({x: 1},)
assert results(heado(1, (x,2,3))) == ({x: 1},)
raises(EarlyGoalError, lambda: heado(x, y))
def test_tailo():
x, y = var('x'), var('y')
assert results((tailo, x, (1,2,3))) == ({x: (2,3)},)
raises(EarlyGoalError, lambda: tailo(x, y))
def test_tailo():
x, y = var('x'), var('y')
assert tuple(tailo(x, (1,2,3))({})) == ({x: (2,3)},)
raises(EarlyGoalError, lambda: tailo(x, y))
def test_tailo():
x, y = var('x'), var('y')
assert results((tailo, x, (1, 2, 3))) == ({x: (2, 3)}, )
raises(EarlyGoalError, lambda: tailo(x, y))
def test_heado():
x, y = var('x'), var('y')
assert results(heado(x, (1, 2, 3))) == ({x: 1}, )
assert results(heado(1, (x, 2, 3))) == ({x: 1}, )
raises(EarlyGoalError, lambda: heado(x, y))
def test_raises():
raises(ZeroDivisionError, lambda: 1/0)
