Add more tests for import
gallais opened this issue · comments
-
Import of
f
& implicit import off
(via transitive dependency) should not raise an "AmbiguousName" error when usingf
. -
Diamond imports (A -> B, A -> C, B -> D, C -> D) with conflicting definitions
but not used in the main (=> should work just fine) -
Diamond imports & use conflicting definition (=> should raise "AmbiguousName")
-
Imports in a mary page