summary refs log tree commit diff
path: root/dot_ghc/ghci.conf
diff options
context:
space:
mode:
Diffstat (limited to 'dot_ghc/ghci.conf')
-rw-r--r--dot_ghc/ghci.conf21
1 files changed, 21 insertions, 0 deletions
diff --git a/dot_ghc/ghci.conf b/dot_ghc/ghci.conf
new file mode 100644
index 0000000..064d660
--- /dev/null
+++ b/dot_ghc/ghci.conf
@@ -0,0 +1,21 @@
+:set -XOverloadedStrings
+:set -XOverloadedLists
+:set -XScopedTypeVariables
+:set -XPackageImports
+
+:set +t
+:set +m
+
+:set -ddump-deriv
+-- :set -fprint-explicit-foralls
+
+-- Colour
+:set -package funnyprint
+:set -interactive-print=FunnyPrint.funnyPrintC
+:set prompt      "\ESC[1;32mλ: \ESC[m"
+:set prompt-cont "\ESC[1;32m : \ESC[m"
+
+-- useful extensions by default
+:set -XTypeApplications -XKindSignatures
+
+import Prelude