built on top of #221 and should only be merged afterwards
This pull request introduces significant changes to the Kind module by splitting it into three sub-modules: Kind.Base, Kind.Version, and Kind.Dance. These changes aim to improve code organisation, enhance visibility, and facilitate integration with new versions of Dune and their (include_subdirs qualified) feature.
Additionally, as part of this pull request, the KindFilters module has been dismantled, and its functionality has been appropriately distributed among the respective sub-modules (Kind.Base, Kind.Version, and Kind.Dance). This refactoring ensures that the code remains well-organised and follows a modular approach similar to that of the other models.
built on top of #221 and should only be merged afterwards
This pull request introduces significant changes to the
Kindmodule by splitting it into three sub-modules:Kind.Base,Kind.Version, andKind.Dance. These changes aim to improve code organisation, enhance visibility, and facilitate integration with new versions of Dune and their(include_subdirs qualified)feature.Additionally, as part of this pull request, the
KindFiltersmodule has been dismantled, and its functionality has been appropriately distributed among the respective sub-modules (Kind.Base,Kind.Version, andKind.Dance). This refactoring ensures that the code remains well-organised and follows a modular approach similar to that of the other models.@R1kM WDYT?