-- This file should mirror the flags for GHC 9.0.* enabled in
-- `Agda.cabal`. It should be loaded automatically by the `.ghci` file
-- in this directory.

:script .ghci-8.10
:set -Wcompat-unqualified-imports
:set -Winvalid-haddock
