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

:script .ghci-8.2
:set -Winaccessible-code
:set -Wstar-binder
:set -Wstar-is-type
