Brianna Marshall
Brianna Marshall
- When inferring a call expression in a function (ExpressionVerification.fs:885-886), the constructed `functionType` can end up as the representative for the call expression's type, if the expected callable type is...
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...
This dependency: https://github.com/microsoft/qsharp-compiler/blob/73429cd30b77e3ffff96a26f36f1f3ce97236c66/src/QsCompiler/SyntaxProcessor/SyntaxProcessor.fsproj#L39 causes issues with downstream documentation publishing because all versions of Microsoft.Experimental.Collections are tagged as prerelease. It's easier to remove this dependency than to update the docs publishing...
In some cases, the cause of an error message may not be localized to the point where the error is generated. It could have multiple causes or related aspects in...
* Diagnostics need additional information to display a diagnostic message, but each diagnostic is an enum item, which doesn't allow additional data. The information is stored as a string sequence...
Serialization doesn't work when the AST contains a lambda that hasn't been lifted, either because lifting lambdas is disabled or there are compilation errors. For example ```qsharp namespace App {...
Issues #1377 and microsoft/iqsharp#606 show that lambdas need to be lifted before code gen and serialization can run. However, the compiler doesn't know this, and it tries to perform steps...
Most documentation comments in the compiler only use the `` tag. For short comments, this is fine, but in many cases the summary is several paragraphs long and would be...
**Is your feature request related to a problem? Please describe.** The compiler has support for running arbitrary code on the Q# syntax tree during compilation in the form of the...