2019-02-02 12:27:42 +00:00
|
|
|
-- Language extensions
|
|
|
|
:set -XBangPatterns
|
|
|
|
:set -XBinaryLiterals
|
|
|
|
:set -XConstraintKinds
|
|
|
|
:set -XDefaultSignatures
|
|
|
|
:set -XDeriveAnyClass
|
|
|
|
:set -XDeriveDataTypeable
|
|
|
|
:set -XDeriveFoldable
|
|
|
|
:set -XDeriveFunctor
|
|
|
|
:set -XDeriveGeneric
|
|
|
|
:set -XDeriveLift
|
|
|
|
:set -XDeriveTraversable
|
|
|
|
:set -XDerivingStrategies
|
|
|
|
:set -XDisambiguateRecordFields
|
|
|
|
:set -XDuplicateRecordFields
|
|
|
|
:set -XEmptyCase
|
|
|
|
:set -XEmptyDataDecls
|
|
|
|
:set -XExistentialQuantification
|
|
|
|
:set -XExplicitForAll
|
|
|
|
:set -XFlexibleContexts
|
|
|
|
:set -XFlexibleInstances
|
|
|
|
:set -XFunctionalDependencies
|
|
|
|
:set -XGADTs
|
|
|
|
:set -XGeneralisedNewtypeDeriving
|
|
|
|
:set -XInstanceSigs
|
|
|
|
:set -XLambdaCase
|
|
|
|
:set -XMultiParamTypeClasses
|
|
|
|
:set -XMultiWayIf
|
|
|
|
:set -XNamedFieldPuns
|
|
|
|
:set -XNamedWildCards
|
|
|
|
:set -XNumDecimals
|
|
|
|
:set -XPackageImports
|
|
|
|
:set -XPartialTypeSignatures
|
|
|
|
:set -XQuasiQuotes
|
|
|
|
:set -XRankNTypes
|
|
|
|
:set -XRecordWildCards
|
|
|
|
:set -XScopedTypeVariables
|
|
|
|
:set -XStandaloneDeriving
|
|
|
|
:set -XTypeApplications
|
|
|
|
:set -XTypeFamilies
|
|
|
|
:set -XUnicodeSyntax
|
|
|
|
|
|
|
|
-- Interface options
|
|
|
|
:set -fdefer-type-errors
|
2020-05-25 07:27:59 +00:00
|
|
|
:set -fno-show-valid-hole-fits
|
2019-02-02 12:27:42 +00:00
|
|
|
:set -Wincomplete-patterns
|
|
|
|
:set -Wcompat
|
|
|
|
:set prompt "λ "
|
2020-05-25 07:27:59 +00:00
|
|
|
:set prompt-cont ""
|