Added .ghci specifying language extensions.
Seems like -XFlexibleInstances is expected everywhere; I just copied the
four extensions specified in idris.cabal for completeness' sake.
commitf93c0c06fe973b04d05a7c5efb990e3533a048f5
authorstartling <tdixon51793@gmail.com>
dateTue 23 Jul 2013, 02:14 (13 years ago)
parente09950a
src/.ghcinew file+2
@@ -0,0 +1,2 @@
1+:set -XMultiParamTypeClasses -XFunctionalDependencies
2+:set -XFlexibleInstances -XTemplateHaskell