From d042f50b8dc3b159dcbe0f1e5f0045bb644f6fa8 Mon Sep 17 00:00:00 2001 From: Tony Morris Date: Mon, 25 Nov 2013 14:49:01 +1000 Subject: [PATCH] Turned on ScopedTypeVariables but not using explicit forall in signatures. Issue #33 --- .ghci | 1 + course.cabal | 1 + src/Course.hs | 1 + src/Course/Anagrams.hs | 1 + src/Course/Applicative.hs | 1 + src/Course/Apply.hs | 1 + src/Course/Bind.hs | 1 + src/Course/Cheque.hs | 1 + src/Course/Comonad.hs | 1 + src/Course/Compose.hs | 1 + src/Course/Core.hs | 1 + src/Course/Extend.hs | 1 + src/Course/FastAnagrams.hs | 1 + src/Course/Functor.hs | 1 + src/Course/Id.hs | 1 + src/Course/Interactive.hs | 1 + src/Course/JsonParser.hs | 1 + src/Course/JsonValue.hs | 1 + src/Course/List.hs | 1 + src/Course/ListZipper.hs | 1 + src/Course/Monad.hs | 1 + src/Course/MoreParser.hs | 1 + src/Course/Optional.hs | 1 + src/Course/Parser.hs | 1 + src/Course/Person.hs | 1 + src/Course/State.hs | 1 + src/Course/StateT.hs | 1 + src/Course/Traversable.hs | 1 + src/Course/Validation.hs | 1 + 29 files changed, 29 insertions(+) diff --git a/.ghci b/.ghci index ff968e0..e2527ec 100644 --- 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 index adf4651..5fbae2e 100644 --- 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 index 541b01c..2204e6d 100644 --- 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 index c897e04..4973ded 100644 --- 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 index 93ba7cd..2179fac 100644 --- 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 index 0ef4491..815f2bd 100644 --- 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 index 1761ba0..115b10a 100644 --- 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 index 272197e..9e0ebc5 100644 --- 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 index e774b42..47ac470 100644 --- 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 index ebd3e02..2e35fa5 100644 --- 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 index fc4dea2..a51651d 100644 --- 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 index f3c3db4..dd49ffb 100644 --- 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 index b08b0cd..c3581a1 100644 --- 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 index 831d627..d918843 100644 --- 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 index 41c37ad..05ba9cf 100644 --- 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 index 2a0556d..04db21c 100644 --- 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 index 588e05e..0638a71 100644 --- 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 index 04a76a7..b945e3c 100644 --- 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 index 2e780c9..6489ed3 100644 --- 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 index c20f93e..24e501d 100644 --- 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 index a59593a..b49f009 100644 --- 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 index 8ea9230..ccf235e 100644 --- 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 index 89383d6..152e289 100644 --- 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 index bd1b940..b0c4558 100644 --- 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 index 6c7dba8..b625757 100644 --- 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 index 7c062af..02d3357 100644 --- 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 index a6825c5..e173bf8 100644 --- 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 index e26c447..8613e49 100644 --- 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 index 775d8d9..e7d011c 100644 --- a/src/Course/Validation.hs +++ b/src/Course/Validation.hs @@ -1,4 +1,5 @@ {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE ScopedTypeVariables #-} module Course.Validation where