Joachim Breitner
Joachim Breitner
I’m not thinking this through, but could `async* { e }` eagerly start evaluating `e` until the first actual `await`? A bit like `async { e }` “eagerly” (but in...
Looks good so far (didn’t test, though)
Thanks for your report. The nix setup to develop Lean packages isn't well supported anymore, unfortunately, and we recommend to use `elan`, which you can get from nixpkgs. That said,...
@noghartt Did you have success here? Is this related to #3811?
What is the status of this PR, @thorimur?
Change Candid to compare tags name case-insensitively? (That's a seriously breaking change, though.) It's similar to 3 in that way.
I'm sure we can find a hash function so that it has few dozen convenient hash collisions, if we can find an exhaustive list.
I'm not surprised, and expect we want to disable the pass by default eventually - after all, it's just sanity checking, and shouldn't produce anything for our users (ideally…). Middle...
This is ``` (* Calling well-known prelude functions *) (* FIXME: calling into the prelude will not work if we ever need to compile a program that requires top-level cps...