Issue947.agda:6,3-8
Empty 'where' block (ignored)
when scope checking the declaration
  A = Set
    where
Issue947.agda:10,3-17
Empty 'where' block (ignored)
when scope checking the declaration
  B = Set
    module _ where
Issue947.agda:14,3-17
Empty 'where' block (ignored)
when scope checking the declaration
  C = Set
    module M where

———— All done; warnings encountered ————————————————————————

Issue947.agda:6,3-8
Empty 'where' block (ignored)
when scope checking the declaration
  A = Set
    where

Issue947.agda:10,3-17
Empty 'where' block (ignored)
when scope checking the declaration
  B = Set
    module _ where

Issue947.agda:14,3-17
Empty 'where' block (ignored)
when scope checking the declaration
  C = Set
    module M where
