Mine Starks

Results 36 comments of Mine Starks

@sezna should we update our samples to eliminate namespace declarations, since that's the recommended syntax now?

@Manvi-Agrawal that got me scratching my head for a bit! But I figured it out. The compiler should return an error for a `function` that calls an `operation` . So,...

@Pulkit1822 apologies for missing your post. It's been a while so hopefully you're still interested -- I'd say this is a fairly low-priority bug, and with no-one that I know...

Forgot to mention, you'll want to wire this up in the Playground using the Monaco editor as well. Its APIs are very similar to VS Code's, so hopefully it shouldn't...

Good questions - this originally came from @swernli so I'll let him weigh in.

@swernli do we have any precedence for looking up the `ItemId` of a specific std function in the HIR by name? Thinking about how we'd identify calls to `MResetZ`. We...

> * Another benefit of attribute vs new "body" syntax is that it's easier to quickly turn it off and on, as you only need to add/remove or comment/uncomment one...

@swernli I can see how the current behavior is by design, and technically, continuing to execute statements after a runtime error is inadvisable -- but this is super common to...

I think the feature suggestion here is essentially "stack unwinding" - making `fail`s behave like exceptions do, deallocating resources as the stack gets unwound. Currently `fail`s in Q# _don't_ have...