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

Remove detailed diagnostics for unsupported callable capabilities #1480

@bamarsha

Description

@bamarsha

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    area: diagnosticsThe Q# compiler's error reporting mechanismbugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions