-- This file mirrors the flags for GHC 8.2.0 enabled in Agda.cabal
-- It should be loaded automatically by the `.ghci` file in this directory.
--
:script .ghci-8.0
:set -Wcpp-undef
:set -Wsimplifiable-class-constraints
:set -Wunbanged-strict-patterns
