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

:script .ghci-8.6
:set -Wmissed-extra-shared-lib
