Rúnar
Have not gotten around to this due to Unison library work
Yeah it looks like the only way to get a `ClientSockAddr` is via `recvFrom`. It extracts the peer address from the datagram. So I think you're right that `accept` prepares...
No progress on this. Without implicits or type classes, I don't think it's possible to have a very ergonomic design here.
I agree that for newcomers, inclusive ranges make the most intuitive sense and are least surprising. But in almost every other language (notably both Python and JavaScript) ranges that are...
Names with dots in them are possible, but problematic as it's also used as a namespace separator
Was there a pull request to go with this?
I wonder if it's spending all this time building up the naming environment for the pretty-printer
Unison has no precedence rules for functions as of yet, so `(+)` and `(*)` behave like all other binary functions: they associate to the left. https://www.unison-lang.org/learn/language-reference/syntactic-precedence-operators-prefix-function-application/ Unison will eventually get...
Just ran into this. Want to bump, as the error is super confusing.
This is still happening, and I think the reason is that this variable somehow becomes a `User "_eta"` instead of an `Eta`.