public static QsCompilation Apply(QsCompilation compilation, List <QsCallable> callables, ImmutableHashSet <QsQualifiedName> intrinsicCallableSet, bool keepAllIntrinsics)
{
var filter = new ResolveGenerics(
callables
.Where(call => !keepAllIntrinsics || !intrinsicCallableSet.Contains(call.FullName))
.ToLookup(res => res.FullName.Namespace),
intrinsicCallableSet,
keepAllIntrinsics);
return(filter.OnCompilation(compilation));
}
public static QsCompilation Apply(QsCompilation compilation, List <Response> responses, ImmutableHashSet <QsQualifiedName> intrinsicCallableSet)
{
var filter = new ResolveGenerics(responses.ToLookup(res => res.ConcreteCallable.FullName.Namespace, res => res.ConcreteCallable), intrinsicCallableSet);
return(filter.OnCompilation(compilation));
}