microsoft / qsharp-compiler

Q# compiler, command line tool, and Q# language server
https://docs.microsoft.com/quantum
MIT License
684 stars 171 forks source link

Remove detailed diagnostics for unsupported callable capabilities #1480

Open bamarsha opened 2 years ago

bamarsha commented 2 years ago

We decided to show better diagnostics at the definition of a callable in IQ# (see #1448). For maintenance and to make the user experience consistent between result capabilities and classical computation capabilities, the old-style diagnostics explaining why a callable is not supported should be removed, e.g.:

https://github.com/microsoft/qsharp-compiler/blob/4e88c97f8f61e6ef1ec0fd6d2406720a79c55923/src/QsCompiler/SyntaxProcessor/CapabilityInference/Capabilities.fs#L43-L44 https://github.com/microsoft/qsharp-compiler/blob/4e88c97f8f61e6ef1ec0fd6d2406720a79c55923/src/QsCompiler/SyntaxProcessor/CapabilityInference/Analyzer.fsi#L27-L28