Neil Mitchell
Neil Mitchell
It's still a fair amount of work to produce pre-packed binaries for Meta open source projects (I hope one day it becomes automatic for everything). Since this project has a...
Great questions! Internally `btd` is step 1 in a pipeline, where the next step takes configuration information (from the `PACKAGE` files and the `labels` attribute) and comes up with a...
There is no easy way to do any of that today, as far as I know. 1. Doing a `build` and a `test` simultaneously isn't hard in theory. I imagine...
Going to assume this is now working - thanks for the update @Bodigrim !
Personally I think this is just a question of Haskell having got it very wrong, and something like Rust having got it right. Instead of making the exposed-ness of a...
My understanding was code lens always showed up in VS Code. In other editors it might not. If there is some LSP functionality that could put this behind a key...
What's the update with Retrie? What should we be doing here?
This is not contextual subtyping, it's due to the subset relation. ``` from typing import TypedDict, Literal, Any class Foo(TypedDict): key1: str key2: str bar: Foo = {"key1": "", "key2":...
Actually, I think this is more nuanced. My reproduction is based around the same subset piece, but we really need subset-but-not-mutable, I think. I don't really understand quite enough, so...
We actually weren't dealing with the exit notification. I've put up a patch to deal with this in #365