summaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2021-06-26 07:44:45 -0400
committerBen Sima <ben@bsima.me>2021-11-26 13:47:36 -0500
commitb52fd2e354c41ea2949a68d79d590925353779a5 (patch)
tree29508992e481f79c54104da3e6e6950dd9c5d91b /.ghci
parentca1db1b637cdc8b40eb1918fde7c5ab1b89eeb8d (diff)
Don't OverloadStrings in ghci
This often causes failures in CI when I forget to add it to the module.
Diffstat (limited to '.ghci')
-rw-r--r--.ghci1
1 files changed, 0 insertions, 1 deletions
diff --git a/.ghci b/.ghci
index c9f74b3..bd32c11 100644
--- a/.ghci
+++ b/.ghci
@@ -1,4 +1,3 @@
-:set -XOverloadedStrings
:set -XNoImplicitPrelude
:set prompt " λ "
:set prompt-cont " | "