- -- 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
|
