github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-23 16:37:50 +03:00
Code Issues Projects Releases Wiki Activity

Note why the remaining flags aren’t in script/ghci-flags.

Browse Source
This commit is contained in:
Rob Rix 2019-11-01 11:59:44 -04:00
parent 88545759fc
commit 9a212db623
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.ghci.semantic
View File

@ -1,6 +1,7 @@
-- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc.
-- These live here instead of script/repl for ease of commenting.
-- These live here instead of .ghci so cabal repl remains unaffected.
-- These live here instead of script/ghci-flags so ghcide remains unaffected.
-- Basic verbosity
:set -v1