lois/Fediversity
1
0
Fork 0
forked from fediversity/fediversity
Code Pull requests Activity

add todo concerning palpable content

Browse source
This commit is contained in:
Valentin Gagarin 2024-11-13 15:24:41 +01:00 • committed by Valentin Gagarin
parent 9e97ca3f14
commit c60d10b355
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
website/presentation/dom.nix
View file

@ -557,7 +557,14 @@ let
}));
};
};
config.categories = [ "flow" ] ++ [ "palpable" ];
# XXX: here we can't express the spec requirement that `dl` is palpable if the list of term-description-pairs is nonempty.
# the reason is that we have to specify a child's *type* in the parent, but being palpable is a property of the value in this case.
# and while the module system does have some dependent typing capabilities, we can't say "the type is X but only if its value has property Y".
# but since the "palpable" category isn't used in any structural requirement in the spec, this is not a loss of fidelity on our side.
# TODO: the whole notion of content categories may be a red herring for this implementation after all, reconsider it.
# it does help to concisely express type constraints on an element's children, but it seems that most of the categories in the spec can be ignored entirely in this implementation.
# the cleanup task would be to identify which categories are really helpful, and document the rationale for using that mechanism as well as the specific choice of categories to keep.
config.categories = [ "flow" ];
config.__toString = self:
with lib;
let