about summary refs log tree commit diff
path: root/users/wpcarro/zoo/.ghci
diff options
context:
space:
mode:
Diffstat (limited to 'users/wpcarro/zoo/.ghci')
-rw-r--r--users/wpcarro/zoo/.ghci5
1 files changed, 5 insertions, 0 deletions
diff --git a/users/wpcarro/zoo/.ghci b/users/wpcarro/zoo/.ghci
new file mode 100644
index 000000000000..fcae90c2987d
--- /dev/null
+++ b/users/wpcarro/zoo/.ghci
@@ -0,0 +1,5 @@
+:set prompt "> "
+:set -Wall
+:set -XOverloadedStrings
+:set -XRecordWildCards
+:set -XTypeApplications