public void RaiseIfTupleHasTupleWithVariable()
{
Context context = new Context();
var expr = new TupleExpression(new IExpression[] { new ConstantExpression(1), new TupleExpression(new IExpression[] { 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);
}
}