From 4c5de60ae15436d0b2884b5d4c73b24057792ed8 Mon Sep 17 00:00:00 2001 From: Dustin Swan Date: Wed, 3 Dec 2014 12:52:09 -0700 Subject: [PATCH] Adding some extensions to ghci --- ghci.conf | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ghci.conf b/ghci.conf index 3774fbe..ded6777 100644 --- 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