//### bob: for some reason, the binder doesn't work here. once that's fixed,
// get rid of the explicit bound arg
/// <summary>
/// Binds this expression using the given binder to convert the unbound
/// form to the bound one.
/// </summary>
/// <param name="binder">A binder to convert from unbound to bound form.</param>
public void Bind(BindingContext context, IUnboundExprVisitor <IBoundExpr> binder)
{
if (binder == null)
{
throw new ArgumentNullException("binder");
}
if (Unbound == null)
{
throw new InvalidOperationException("Cannot bind an Expr that is already bound.");
}
//### bob: doing this here is a hack. need to find a clean location for the
// multi-pass compiling. if we get away from a separate bound and unbound expr and
// just use more mutability, this whole class will go away.
// desugar
var letTransformer = new LetTransformer(context.NameGenerator);
var unbound = Unbound.AcceptTransformer(letTransformer);
var loopTransformer = new LoopTransformer(context.NameGenerator);
unbound = unbound.AcceptTransformer(loopTransformer);
var expandTuple = new ExpandTupleAssignment(context.NameGenerator);
unbound = unbound.AcceptTransformer(expandTuple);
Bound = unbound.Accept(binder);
// discard the unbound one now. makes sure we're clear on what state we expect
// the expression to be in.
Unbound = null;
}
public TReturn Accept <TReturn>(IUnboundExprVisitor <TReturn> visitor)
{
return(visitor.Visit(this));
}
public static IEnumerable <TReturn> Accept <T, TReturn>(this IEnumerable <T> enumerable, IUnboundExprVisitor <TReturn> visitor)
where T : IUnboundExpr
{
// ToArray() is to force select to eager evaluate. makes it much easier to see what's going on in the debugger
return(enumerable.Select(item => item.Accept(visitor)).ToArray());
}
