Greg Pfeil

Results 379 comments of Greg Pfeil

> I really appreciate being able to have a conversation about it. I agree that it’s great to discuss this stuff, I’m certainly learning things, despite being an Emacs user...

@ehamberg And I haven’t forgotten about your issues – just need to dig in more about what’s going on there.

Ah, updating the README should have been a part of that PR. It’s just a convention in the Nix world that if both a source and binary distribution are provided,...

Ok, the rebuilding should be avoided now (assuming you accept the flake’s `nixConfig`).

#122 brings the README in sync, but I’m happy to go the other direction, too, and make `ucm` point to the binary package.

Some comments from a conversation I had with @ceedubs about this: > Hunh … that’s odd for a couple reasons. One is that in the issue it was working on...

Extensible records + implicit arguments is also my favorite form of ad-hoc polymorphism, so this could also be progress in that direction.

@chuwy Unfortunately, there isn’t much in the way of languages that support both of these features, but to give a Unison-y example with some not-yet-extant features: 1. define type classes...

Just to add some context here (since I’ve run into this issue multiple times now): - NixOS/nix#9487 is the underlying issue, where yeah – order does matter (at least somewhat...

`omitEmpty` is the wrong thing. E.g., ```dhall { condition = "impl(ghc >= 9.10.1)" , `then` = { ghc-options = "-Wall" } , `else` = { } } ``` produces ```cabal...