graph-store: make validation work properly with type change

This commit is contained in:
Logan Allen 2021-04-22 14:17:01 -05:00
parent 7a44015924
commit f44236b7a2

View File

@ -587,7 +587,10 @@
%+ roll (tap:orm graph) %+ roll (tap:orm graph)
|= [[=atom =node:store] out=?] |= [[=atom =node:store] out=?]
^- ? ^- ?
?& ?=(^ (vale:dais [atom post.node])) ?& ?| ?=(%| -.post.node)
?=(^ (vale:dais [atom p.post.node]))
==
::
?- -.children.node ?- -.children.node
%empty %.y %empty %.y
%graph ^$(graph p.children.node) %graph ^$(graph p.children.node)