Turned on ScopedTypeVariables but not using explicit forall in signat…

…ures. Issue #33
miladz68 · Nov 25, 2013 · d042f50 · d042f50
1 parent 9b4c112
commit d042f50
Show file tree

Hide file tree

Showing 29 changed files with 29 additions and 0 deletions.
diff --git a/.ghci b/.ghci
@@ -7,5 +7,6 @@
 :set -fno-warn-unused-imports
 :set -fno-warn-type-defaults
 :set -XNoImplicitPrelude
+:set -XScopedTypeVariables
 :set -XOverloadedStrings
 :set -XSafe
diff --git a/course.cabal b/course.cabal
@@ -44,6 +44,7 @@ library
 
   default-extensions: Safe
                       NoImplicitPrelude
+                      ScopedTypeVariables
 
   hs-source-dirs:     src
 

diff --git a/src/Course.hs b/src/Course.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course (module X) where
 

diff --git a/src/Course/Anagrams.hs b/src/Course/Anagrams.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 module Course.Anagrams where

diff --git a/src/Course/Applicative.hs b/src/Course/Applicative.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Applicative(
   Applicative(..)

diff --git a/src/Course/Apply.hs b/src/Course/Apply.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Apply where
 

diff --git a/src/Course/Bind.hs b/src/Course/Bind.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Bind(
   Bind(..)

diff --git a/src/Course/Cheque.hs b/src/Course/Cheque.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 {-

diff --git a/src/Course/Comonad.hs b/src/Course/Comonad.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Comonad
 (

diff --git a/src/Course/Compose.hs b/src/Course/Compose.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Compose where
 

diff --git a/src/Course/Core.hs b/src/Course/Core.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Core(
   Eq(..)

diff --git a/src/Course/Extend.hs b/src/Course/Extend.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Extend where
 

diff --git a/src/Course/FastAnagrams.hs b/src/Course/FastAnagrams.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.FastAnagrams where
 

diff --git a/src/Course/Functor.hs b/src/Course/Functor.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Functor where
 

diff --git a/src/Course/Id.hs b/src/Course/Id.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Id where
 

diff --git a/src/Course/Interactive.hs b/src/Course/Interactive.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 module Course.Interactive where

diff --git a/src/Course/JsonParser.hs b/src/Course/JsonParser.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 module Course.JsonParser where

diff --git a/src/Course/JsonValue.hs b/src/Course/JsonValue.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.JsonValue where
 

diff --git a/src/Course/List.hs b/src/Course/List.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE FlexibleInstances #-}
 

diff --git a/src/Course/ListZipper.hs b/src/Course/ListZipper.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.ListZipper where
 

diff --git a/src/Course/Monad.hs b/src/Course/Monad.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Monad where
 

diff --git a/src/Course/MoreParser.hs b/src/Course/MoreParser.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.MoreParser where
 

diff --git a/src/Course/Optional.hs b/src/Course/Optional.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Optional where
 

diff --git a/src/Course/Parser.hs b/src/Course/Parser.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 module Course.Parser where

diff --git a/src/Course/Person.hs b/src/Course/Person.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Person where
 

diff --git a/src/Course/State.hs b/src/Course/State.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.State where
 

diff --git a/src/Course/StateT.hs b/src/Course/StateT.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE OverloadedStrings #-}
 
 module Course.StateT where

diff --git a/src/Course/Traversable.hs b/src/Course/Traversable.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Traversable where
 

diff --git a/src/Course/Validation.hs b/src/Course/Validation.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Course.Validation where