Example #1
0
        public static void Apply(QsCompilation compilation)
        {
            var filter = new ValidateMonomorphization();

            foreach (var ns in compilation.Namespaces)
            {
                filter.Namespaces.OnNamespace(ns);
            }
        }
Example #2
0
        public static void Apply(QsCompilation compilation)
        {
            var intrinsicCallableSet = compilation.Namespaces.GlobalCallableResolutions()
                                       .Where(kvp => kvp.Value.Specializations.Any(spec => spec.Implementation.IsIntrinsic))
                                       .Select(kvp => kvp.Key)
                                       .ToImmutableHashSet();

            var filter = new ValidateMonomorphization(intrinsicCallableSet);

            foreach (var ns in compilation.Namespaces)
            {
                filter.Namespaces.OnNamespace(ns);
            }
        }