todo.sr.ht

Right now, Coercible/~>/.coerce only works for wrapping and unwrapping newtypes.

For it to be really useful (like, deserving-of-its-syntax useful), it should also allow coercing e.g. Seq[Int] to Seq[NewtypeForInt].

This will require a bunch of changes; we'll need to put ~> instances into the IR and have coerce there. We'll also need to perform the actual analysis to determine what roles a type's tyargs should have; this is a "traverse all the types in SCC order" check, though we already have the plumbing for that.

#4 Infra: Broader testing 23 days ago

enhancement added by ~remexre on ~remexre/sylvan

#4 Infra: Broader testing 23 days ago

C: infra added by ~remexre on ~remexre/sylvan

#4 Infra: Broader testing 23 days ago

Ticket created by ~remexre on ~remexre/sylvan

Right now, we're set up to test bootstrapping on Alpine Linux, FreeBSD, and NixOS. It'd be nice to:

Check that all three build the bit-for-bit same binaries

"Build the world" like Silver's CI does, but only after the bootstrap tests pass

This would probably mean writing a webhook or something that manages the build pipeline, using the builds.sr.ht API to actually request builds.

#3 Infra: report builds to IRC 27 days ago

C: infra added by ~remexre on ~remexre/sylvan

#3 Infra: report builds to IRC 27 days ago

enhancement added by ~remexre on ~remexre/sylvan

#3 Infra: report builds to IRC 27 days ago

Ticket created by ~remexre on ~remexre/sylvan

#2 Editor tooling: complete aspect from name 27 days ago

enhancement added by ~remexre on ~remexre/sylvan