public void RaiseIfTupleHasVariable()
{
Context context = new Context();
var expr = new TupleExpression(new IExpression[] { new ConstantExpression(1), new VariableExpression(new Variable("X")), new AtomExpression(new Atom("y")) });
try
{
expr.Evaluate(context);
Assert.Fail();
}
catch (System.Exception ex)
{
Assert.AreEqual("variable 'X' is unbound", ex.Message);
}
}