Issue2243.agda:9,1-12
Unreachable clause
when checking the definition of f
Issue708quote.agda:9,1-29
Unreachable clause
when checking the definition of example
RewritingEmptyPragma.agda:3,1-16
Empty REWRITE pragma
when scope checking the declaration
  {-# REWRITE #-}
Unreachable.agda:21,1-23,19
Unreachable clauses
when checking the definition of unreachable
ImportWarningsB.agda:12,1-16
Empty REWRITE pragma
when scope checking the declaration
  {-# REWRITE #-}
ImportWarnings.agda:6,1-16
Empty REWRITE pragma
when scope checking the declaration
  {-# REWRITE #-}

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

ImportWarningsB.agda:12,1-16
Empty REWRITE pragma
when scope checking the declaration
  {-# REWRITE #-}

Issue708quote.agda:9,1-29
Unreachable clause
when checking the definition of example

RewritingEmptyPragma.agda:3,1-16
Empty REWRITE pragma
when scope checking the declaration
  {-# REWRITE #-}

Issue2243.agda:9,1-12
Unreachable clause
when checking the definition of f

Unreachable.agda:21,1-23,19
Unreachable clauses
when checking the definition of unreachable

ImportWarnings.agda:6,1-16
Empty REWRITE pragma
when scope checking the declaration
  {-# REWRITE #-}
