Mine Starks

Results 26 issues of Mine Starks

The bug exists in `run()` in the wasm layer. When the runtime error contains a span, and the span is coming from a file in the program that's _not_ the...

bug

Introduced in #880 . [Playground link ](https://microsoft.github.io/qsharp/?code=H4sIAAAAAAAACo2OuwrCQBBF%2B3zFYJVUFnYJgiAWFmoMdiGQZR11ITsTdmeLIPl3Y%2FCBYuGthsucwyVl0bdKI2y6fVAkweaOz05ZuEYRDFmsSFyXsyGJk7HhFp0SwwQbZShOIIUCfWikrJ7QPdMpaHYOtaTDYdsGR6YxXuDI6IFYwJBuwhGhPjHXL3R4haGAOcyyD%2BF6u9wVxWp5%2BFv5wzm5mEn2386Hy3%2Fte8MOJTiCssrGqo%2F66AZaE30ZUwEAAA%3D%3D) ```qsharp namespace MyQuantumProgram { @EntryPoint() operation Main() : Result[] { // correct: completion list does not include `foo` let foo = 3; //...

bug
language server

This issue tracks the implementation of the language service and editor features for Q#. Editor features are things like autocomplete, go-to-definition and hover. The language service is the component that...

enhancement
language server

## Feature overview This PR enables: 1. Much more precise keyword completions where we only show the relevant syntax at a particular cursor location. For example: ```qsharp within { }...

In VS Code, in a Jupyter notebook cell, type some code that ends with an incomplete expression, like: ```qsharp %%qsharp function Foo() : Unit {} let abc = Foo(); let...

bug
needs triage

```qsharp operation Main() : Unit { Microsoft.Quantum.Core.RangeStart(); // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ name error: `Microsoft.Quantum.Core.RangeStart` not found Microsoft.Quantum.Diagnostics.DumpMachine(); } ``` Here, `Microsoft.Quantum.Diagnostics` is reexported in [legacy_api.qs](https://github.com/microsoft/qsharp/blob/319504339ae222c733332a1e77b101987e851b6f/library/std/src/legacy_api.qs) as a namespace, which resolves fine, but...

bug

Builds on #1947 . **STOP** and review that PR first if you haven't done so yet! Enables: 1. Field access completions, for example: ```qsharp let x = Complex(1.0, 2.0); x.|...

The TextMate grammar used for Q# syntax highlighting in VS Code is missing some patterns that would help the syntax highlighting look nicer. Compare: ![image](https://github.com/user-attachments/assets/00922582-e758-4783-9ba8-48484f617f3f) The Q# looks pretty boring...

enhancement
good first issue
needs triage

In many cases, the completion list is missing reexports from dependencies, which reduces the usability of libraries such as `fixed_point`. **REPRO** **`MyProj/src/Main.qs`** ```qsharp namespace Test { open MyDep; operation Foo()...

bug
language server

I'm not sure if this is a bug in the documentation generation itself, or in how namespace trees are stored in the HIR / wherever documentation is gathered from. **REPRO**...

bug
low-priority