forked from Fediversity/Fediversity
WIP: data model: type nixos module #8
Loading…
Add table
Reference in a new issue
No description provided.
Delete branch "data-model-type-nixos-module"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
this explicitly types our
resource-type
as a NixOS module, resolving the TODO comment there.however, so far this errors with:
now, given this definition, that complaint seems arguably correct at the type level:
ideas on addressing this welcome...
superseded by Fediversity/Fediversity#497
Pull request closed