.ghci

:set -hide-package Agda
:set -isrc/full
:set -idist-2.6.0/build/autogen
:set -idist-2.6.0/build
:set -Idist-2.6.0/build/autogen
:set -Idist-2.6.0/build
:set -Isrc/full
:set -optP-include
:set -optPdist-2.6.0/build/autogen/cabal_macros.h

:set -w
:set -Werror
:set -Wunrecognised-warning-flags
:set -fwarn-deprecated-flags
:set -fwarn-dodgy-exports
:set -fwarn-dodgy-foreign-imports
:set -fwarn-dodgy-imports
:set -fwarn-duplicate-exports
:set -fwarn-hi-shadowing
:set -fwarn-identities
:set -fwarn-incomplete-patterns
:set -fwarn-missing-fields
:set -fwarn-missing-methods
:set -fwarn-missing-signatures
:set -fwarn-tabs
:set -fwarn-overlapping-patterns
:set -fwarn-unrecognised-pragmas
:set -fwarn-unused-do-bind
:set -fwarn-warnings-deprecations
:set -fwarn-wrong-do-bind
:set -fwarn-empty-enumerations
:set -fwarn-inline-rule-shadowing
:set -fwarn-typed-holes
:set -fwarn-overflowed-literals
:set -fwarn-unticked-promoted-constructors
:set -Wmissing-pattern-synonym-signatures
:set -Wnoncanonical-monad-instances
:set -Wnoncanonical-monoid-instances
:set -Wsemigroup
:set -Wunused-foralls

:set -XConstraintKinds
:set -XDataKinds
:set -XDefaultSignatures
:set -XDeriveFoldable
:set -XDeriveFunctor
:set -XDeriveTraversable
:set -XExistentialQuantification
:set -XFlexibleContexts
:set -XFlexibleInstances
:set -XFunctionalDependencies
:set -XLambdaCase
:set -XMultiParamTypeClasses
:set -XMultiWayIf
:set -XNamedFieldPuns
:set -XRankNTypes
:set -XRecordWildCards
:set -XScopedTypeVariables
:set -XStandaloneDeriving
:set -XTypeSynonymInstances
:set -XTupleSections