2019-12-18 17:17:13 +03:00
|
|
|
-- GHCI settings for script/repl.
|
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-11-01 18:59:44 +03:00
|
|
|
-- These live here instead of script/ghci-flags so ghcide remains unaffected.
|
2019-10-30 22:44:58 +03:00
|
|
|
|
2019-10-30 23:01:41 +03:00
|
|
|
-- Basic verbosity
|
|
|
|
|
:set -v1
|
|
|
|
|
|
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 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: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
|
2019-12-18 00:57:35 +03:00
|
|
|
:seti -Wno-missing-deriving-strategies
|
