2019-10-30 22:44:58 +03:00
|
|
|
|
-- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc.
|
2019-10-30 23:27:54 +03:00
|
|
|
|
-- These live here instead of script/repl for ease of commenting.
|
|
|
|
|
|
-- These live here instead of .ghci so cabal repl remains unaffected.
|
2019-10-30 22:44:58 +03:00
|
|
|
|
|
2019-10-30 23:01:41 +03:00
|
|
|
|
-- Basic verbosity
|
|
|
|
|
|
:set -v1
|
|
|
|
|
|
|
|
|
|
|
|
-- No optimizations
|
|
|
|
|
|
:set -O0
|
2019-10-30 22:44:03 +03:00
|
|
|
|
|
|
|
|
|
|
-- Compile to object code
|
|
|
|
|
|
:set -fwrite-interface -fobject-code
|
2019-10-30 22:18:56 +03:00
|
|
|
|
|
2019-10-30 23:34:16 +03:00
|
|
|
|
-- Write build products to dist-repl (so that we don’t clobber 'cabal build' outputs)
|
|
|
|
|
|
:set -outputdir dist-repl/build/x86_64-osx/ghc-8.6.5/semantic-0.8.0.0/build
|
|
|
|
|
|
:set -odir dist-repl/build/x86_64-osx/ghc-8.6.5/semantic-0.8.0.0/build
|
|
|
|
|
|
:set -hidir dist-repl/build/x86_64-osx/ghc-8.6.5/semantic-0.8.0.0/build
|
|
|
|
|
|
:set -stubdir dist-repl/build/x86_64-osx/ghc-8.6.5/semantic-0.8.0.0/build
|
2019-10-30 22:18:56 +03:00
|
|
|
|
|
2019-10-30 23:34:16 +03:00
|
|
|
|
-- Look for autogen’d files in dist-repl
|
|
|
|
|
|
:set -idist-repl/build/x86_64-osx/ghc-8.6.5/semantic-0.8.0.0/build/autogen
|
2019-10-30 22:18:56 +03:00
|
|
|
|
|
2019-10-30 22:44:03 +03:00
|
|
|
|
-- Load all our sources… remember to keep this up to date when we add new packages!
|
|
|
|
|
|
-- But don’t add semantic-source, it’s important that we get that from hackage.
|
2019-10-30 22:18:56 +03:00
|
|
|
|
:set -isemantic-analysis/src
|
|
|
|
|
|
:set -isemantic-ast/src
|
|
|
|
|
|
:set -isemantic-core/src
|
|
|
|
|
|
:set -isemantic-java/src
|
|
|
|
|
|
:set -isemantic-json/src
|
|
|
|
|
|
:set -isemantic-python/src
|
|
|
|
|
|
:set -isemantic-tags/src
|
2019-10-30 23:09:02 +03:00
|
|
|
|
:set -iapp
|
2019-10-30 22:18:56 +03:00
|
|
|
|
:set -isrc
|
|
|
|
|
|
:set -ibench
|
|
|
|
|
|
:set -itest
|
|
|
|
|
|
|
2019-10-30 22:44:03 +03:00
|
|
|
|
-- Default language mode & extensions
|
2019-10-30 22:18:56 +03:00
|
|
|
|
:set -XHaskell2010
|
2019-10-30 22:36:32 +03:00
|
|
|
|
:set -XStrictData
|
2019-10-30 22:18:56 +03:00
|
|
|
|
|
2019-10-30 22:44:03 +03:00
|
|
|
|
-- Warnings for compiling .hs files
|
2019-10-30 22:18:56 +03:00
|
|
|
|
:set -Weverything
|
|
|
|
|
|
:set -Wno-all-missed-specialisations
|
|
|
|
|
|
:set -Wno-implicit-prelude
|
|
|
|
|
|
:set -Wno-missed-specialisations
|
|
|
|
|
|
:set -Wno-missing-import-lists
|
|
|
|
|
|
:set -Wno-missing-local-signatures
|
|
|
|
|
|
:set -Wno-monomorphism-restriction
|
|
|
|
|
|
:set -Wno-name-shadowing
|
|
|
|
|
|
:set -Wno-safe
|
|
|
|
|
|
:set -Wno-unsafe
|
|
|
|
|
|
:set -Wno-star-is-type
|
2019-10-30 22:44:03 +03:00
|
|
|
|
-- Bonus: silence “add these modules to your .cabal file” warnings for files we :load
|
2019-10-30 22:18:56 +03:00
|
|
|
|
:set -Wno-missing-home-modules
|
|
|
|
|
|
|
2019-10-30 22:45:45 +03:00
|
|
|
|
-- Don’t fail on warnings when in the repl
|
|
|
|
|
|
:set -Wwarn
|
|
|
|
|
|
|
2019-10-30 22:44:03 +03:00
|
|
|
|
-- Warnings for code written in the repl
|
2019-10-30 22:18:56 +03:00
|
|
|
|
:seti -Weverything
|
|
|
|
|
|
:seti -Wno-all-missed-specialisations
|
|
|
|
|
|
:seti -Wno-implicit-prelude
|
|
|
|
|
|
:seti -Wno-missed-specialisations
|
|
|
|
|
|
:seti -Wno-missing-import-lists
|
|
|
|
|
|
:seti -Wno-missing-local-signatures
|
|
|
|
|
|
:seti -Wno-monomorphism-restriction
|
|
|
|
|
|
:seti -Wno-name-shadowing
|
|
|
|
|
|
:seti -Wno-safe
|
|
|
|
|
|
:seti -Wno-unsafe
|
|
|
|
|
|
:seti -Wno-star-is-type
|
