Hardy Jones
Hardy Jones
I don't, I should try to throw one together though.
Is there a solution here that doesn't require absolute paths for only the `buildifier` binary? In case it's not clear, we have to have settings like: ```JSON { "bazel.buildifierExecutable": "/Users/some-user/some-arbitrary-path-to-the-repo/tools/buildifier",...
So in this workflow you'd go by the actual remotes named `origin`/`upstream` in the repo? Or would it be a config like other things for `spr`. E.g. `git config spr.origin...
I wanted to work on this, but my computer's been messing up pretty bad lately. Hopefully it gets fixed long enough to do some actual work, but don't wait for...
Something that's worth discussing (because it might change the decision about whether to do this or not) is what to do about stacking PRs. Correct me if I'm wrong, but...
I'll just note that there's a few different ways around the `#` in a commit situation: https://stackoverflow.com/questions/2788092/start-a-git-commit-message-with-a-hashmark. The one I've been using for a bit that seems to work best...
Sounds good!
Giving this some thought, looks like there are a couple ways to approach. ### Convert and type check together 1. Parse type annotation to `Expr Src X` 1. Parse JSON...
Hmm, given that `Null` is a thing in `Value`, does converting in passes and coercing make sense? I guess we'd give a `Null` the type `forall (a : Type) ->...
Sounds good. Also, how should unions work? If you have: ```Dhall < Name : Text > ``` What JSON corresponds to that? What if you have: ```Dhall < FirstName :...