Adding some extensions to ghci

10 years ago · 4c5de60ae1
parent 8049fd614e
commit 4c5de60ae1
1 changed files with 4 additions and 0 deletions
--- a/ghci.conf
+++ b/ghci.conf
@ -6,6 +6,10 @@ import Data.Char
 import Data.List
 import Data.Monoid

+:set -XDataKinds
+:set -XGADTs
+:set -XKindSignatures
+
 :set prompt "λ: "
 :set -fno-warn-unused-imports