We should support hiding of modules and stop comments. I think the correct behaviour here is to perform the same transformation as the nondep_ functions in the compiler. This means attempt to remove all references to types and modules by increasing abstraction.
Where we are unable to hide a reference to something that is hidden we should annotate the reference as an unresolved reference to a hidden thing so that a reasonable error can be displayed in the output.
We should support hiding of modules and stop comments. I think the correct behaviour here is to perform the same transformation as the
nondep_functions in the compiler. This means attempt to remove all references to types and modules by increasing abstraction.Where we are unable to hide a reference to something that is hidden we should annotate the reference as an unresolved reference to a hidden thing so that a reasonable error can be displayed in the output.