Skip to content
This repository has been archived by the owner on Jan 12, 2024. It is now read-only.

Remove detailed diagnostics for unsupported callable capabilities #1480

Open
bamarsha opened this issue Jul 12, 2022 · 0 comments
Open

Remove detailed diagnostics for unsupported callable capabilities #1480

bamarsha opened this issue Jul 12, 2022 · 0 comments
Labels
area: diagnostics The Q# compiler's error reporting mechanism bug Something isn't working

Comments

@bamarsha
Copy link
Contributor

bamarsha commented Jul 12, 2022

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.:

// TODO: Remove this function as part of https://github.com/microsoft/qsharp-compiler/issues/1448.
let explainCall (nsManager: NamespaceManager) graph target (call: Call) =

// TODO: Remove the additional properties as part of https://github.com/microsoft/qsharp-compiler/issues/1448.
Properties: 'props

@bamarsha bamarsha added bug Something isn't working area: diagnostics The Q# compiler's error reporting mechanism labels Jul 12, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area: diagnostics The Q# compiler's error reporting mechanism bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant