public bool PostconditionVerification(QsCompilation compilation) { try { ValidateMonomorphization.Apply(compilation, allowTypeParametersForIntrinsics: !this.monomorphizeIntrinsics); } catch { return(false); } return(true); }
public bool PostconditionVerification(QsCompilation compilation) { try { ValidateMonomorphization.Apply(compilation); } catch { return(false); } return(true); }
/// <inheritdoc/> public bool PreconditionVerification(QsCompilation compilation) { try { ValidateMonomorphization.Apply(compilation); return(true); } catch { this.diagnostics.Add(new IRewriteStep.Diagnostic { Severity = DiagnosticSeverity.Error, Stage = IRewriteStep.Stage.PreconditionVerification, Message = DiagnosticItem.Message(ErrorCode.SyntaxTreeNotMonomorphized, Array.Empty <string>()), Source = Assembly.GetExecutingAssembly().Location }); return(false); } }