Agda-2.3.2.2: test/fail/ClashingModule.err
ClashingModule.agda:5,8-9 Duplicate definition of module A. Previous definition of module A at ClashingModule.agda:4,8-9 when scope checking the declaration module A where
ClashingModule.agda:5,8-9 Duplicate definition of module A. Previous definition of module A at ClashingModule.agda:4,8-9 when scope checking the declaration module A where