Cody Allen
Cody Allen
FWIW I've probably written as much Unison code as anybody and outside of recreating a bug in a transcript, I can't recall the last time that I used `add` instead...
Implementing this could provide one option to work around #3314 .
@aryairani Slightly. Thanks for the tip. But I still think that my proposal would improve the ergonomics a lot. Manually creating a bare repo isn't very user-friendly (or discoverable).
@aryairani I don't remember the original context, but here some scenarios that @rlmark and I came up with: - Wanting a clean separation of codebases (ex: work vs personal) but...
@kylegoetz authentication shouldn't be required to pull a public library. Are you seeing otherwise? I just tried to reproduce an issue and was unable to.
> Could you link to the deleted transcript for `merge.squash.old` if you think there's a chance we'll want to resurrect it after adding this Hmm has that been deleted? I...
@pchiusano it doesn't seem to me like you should need lists to be treated as covariant for this code to compile. But I'm not a type system expert, and I'd...
Strangely, if you replace `absurd r` with a string literal, it compiles again. Perhaps if you don't reference `r` it infers a handler that is universal with respect to the...
@aryairani this can be done with backticks now, right?
It sounds like the current state probably covers most use-cases and it might just be a matter of documenting this in the language spec?