This repository has been archived by the owner on Jan 12, 2024. It is now read-only.
Support opt-in capability diagnostics for libraries #1448
Labels
area: diagnostics
The Q# compiler's error reporting mechanism
enhancement
New request or suggestion for an improvement
maintenance
Improve code base quality
Currently, referencing a callable from a library will show warnings in addition to the primary error. The warnings are there so that you can understand why a callable is not supported and fix it if you have control of its source code. This doesn't work as well for the new diagnostics added by #1429, so they don't support this feature.
We would like to remove the functionality entirely for consistency and replace it with a feature that allows libraries to opt-in to diagnostics for specific targets (even though libraries are compiled as target-agnostic). This will also allow cleaning up some cruft from the new capability analyzer code.
The text was updated successfully, but these errors were encountered: