public DataType VisitLambda(Lambda lambda)
{
State env = scope.getForwarding();
var fun = new FunType(lambda, env);
fun.Table.Parent = this.scope;
fun.Table.Path = scope.extendPath(analyzer, "{lambda}");
fun.setDefaultTypes(ResolveList(lambda.args.Select(p => p.test)));
analyzer.AddUncalled(fun);
return(fun);
}
public State(State parent, StateType type)
{
this.Parent = parent;
this.stateType = type;
this.Path = "";
if (type == StateType.CLASS)
{
this.Forwarding = parent == null ? null : parent.getForwarding();
}
else
{
this.Forwarding = this;
}
}
private static ISet<State> looked = new HashSet<State>(); // circularity prevention
#endregion Fields
#region Constructors
public State(State parent, StateType type)
{
this.Parent = parent;
this.stateType = type;
this.Path = "";
if (type == StateType.CLASS)
{
this.Forwarding = parent == null ? null : parent.getForwarding();
}
else
{
this.Forwarding = this;
}
}
