public override TypedExpression OnTypedExpression(TypedExpression ex)
{
if (ex.Expression is ExpressionKind.CallLikeExpression call)
{
if (!this.SharedState.InCallLike || TypedExpression.IsPartialApplication(call))
{
var contextInCallLike = this.SharedState.InCallLike;
this.SharedState.InCallLike = true;
this.OnTypedExpression(call.Item1);
this.SharedState.Resolutions.Add(ex.TypeParameterResolutions);
this.SharedState.InCallLike = contextInCallLike;
}
}
else if (ex.Expression is ExpressionKind.AdjointApplication adj)
{
this.OnTypedExpression(adj.Item);
}
else if (ex.Expression is ExpressionKind.ControlledApplication ctrl)
{
this.OnTypedExpression(ctrl.Item);
}
else
{
this.SharedState.Resolutions.Add(ex.TypeParameterResolutions);
}
return(ex);
}
private (TypedExpression Id, TypedExpression Args)? IsValidScope(QsScope? scope)
{
// if the scope has exactly one statement in it and that statement is a call like expression statement
if (scope != null &&
scope.Statements.Length == 1 &&
scope.Statements[0].Statement is QsStatementKind.QsExpressionStatement expr &&
expr.Item.ResolvedType.Resolution.IsUnitType &&
expr.Item.Expression is ExpressionKind.CallLikeExpression call &&
!TypedExpression.IsPartialApplication(expr.Item.Expression) &&
call.Item1.Expression is ExpressionKind.Identifier)
{
var newCallIdentifier = call.Item1;
var callTypeArguments = expr.Item.TypeParameterResolutions;
// This relies on anything having type parameters must be a global callable.
if (newCallIdentifier.Expression is ExpressionKind.Identifier id &&
id.Item1 is Identifier.GlobalCallable global &&
callTypeArguments.Any())
{
// We are dissolving the application of arguments here, so the call's type argument
// resolutions have to be moved to the 'identifier' sub expression.
var combination = new TypeResolutionCombination(expr.Item);
var combinedTypeArguments = combination.CombinedResolutionDictionary.FilterByOrigin(global.Item);
QsCompilerError.Verify(combination.IsValid, "failed to combine type parameter resolution");
var globalCallable = this.SharedState.Compilation.Namespaces
.Where(ns => ns.Name.Equals(global.Item.Namespace))
.Callables()
.FirstOrDefault(c => c.FullName.Name.Equals(global.Item.Name));
QsCompilerError.Verify(globalCallable != null, $"Could not find the global reference {global.Item}.");
var callableTypeParameters = globalCallable.Signature.TypeParameters.Select(param =>
{
var name = param as QsLocalSymbol.ValidName;
QsCompilerError.Verify(!(name is null), "Invalid type parameter name.");
return(name);
});
newCallIdentifier = new TypedExpression(
ExpressionKind.NewIdentifier(
id.Item1,
QsNullable <ImmutableArray <ResolvedType> > .NewValue(
callableTypeParameters
.Select(x => combinedTypeArguments[Tuple.Create(global.Item, x.Item)]).ToImmutableArray())),
TypedExpression.AsTypeArguments(combinedTypeArguments),
call.Item1.ResolvedType,
call.Item1.InferredInformation,
call.Item1.Range);
}
return(newCallIdentifier, call.Item2);
}
return(null);
}