How to declare the order in which Initialisers are applied?
jbee opened this issue · 1 comments
Currently Initialiser
s are applied in a pseudo-random order. It is simply the order the end up in the list of Resource
s which depends on how qualified they are. Assuming all are equally qualified the order is simply the order in which the declaration binding was encountered during bootstrapping. While this is a (mostly) deterministic order it is not useful in any way for the user.
Ideally users could give an additional priority for Initialiser
of the same qualification level. This is most likely best solved by adding a general feature that allows adding a priority to bindings. Note that this only makes sense and is needed for declarations of type MULTI
as other types would mean that equally qualified bindings for the same instance clash.