Should a package definition be able to remove modules from another package definition?
When a package is imported, it must be marked whether that package has been modified in an nbc way. A package can be modified via any of the following mechanisms:
Changing the version of a imported package.
Changing the version of an imported module.
Add modules with explicit deviations.
My thinking is that it should not, because it then makes it harder for a client to determine whether a package has been faithfully implemented. Using explicit deviations seems like a better choice.
rgwilton
commented
5 years ago
Should a package definition be able to remove modules from another package definition?
When a package is imported, it must be marked whether that package has been modified in an nbc way. A package can be modified via any of the following mechanisms:
My thinking is that it should not, because it then makes it harder for a client to determine whether a package has been faithfully implemented. Using explicit deviations seems like a better choice.