Merge pull request #22 from ndmitchell/add-dot-ghci

Add a .ghci file
This commit is contained in:
Moritz Kiefer 2019-09-11 10:30:14 +02:00 committed by GitHub
commit 63432ce848
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

23
.ghci Normal file
View File

@ -0,0 +1,23 @@
:set -Wunused-binds -Wunused-imports -Worphans -Wunused-matches -Wincomplete-patterns
:set -XBangPatterns
:set -XDeriveFunctor
:set -XDeriveGeneric
:set -XGeneralizedNewtypeDeriving
:set -XLambdaCase
:set -XNamedFieldPuns
:set -XOverloadedStrings
:set -XRecordWildCards
:set -XScopedTypeVariables
:set -XStandaloneDeriving
:set -XTupleSections
:set -XTypeApplications
:set -XViewPatterns
:set -package=ghc
:set -hide-package=ghc-lib-parser
:set -DGHC_STABLE
:set -isrc
:set -iexe
:load Main