Remove some unnecessary uses of AllowAmbiguousTypes

goldfirere · Feb 17, 2019 · ea63077 · ea63077
1 parent c226fec
commit ea63077
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/src/Data/Singletons/Prelude/List/Internal.hs b/src/Data/Singletons/Prelude/List/Internal.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE TypeOperators, DataKinds, PolyKinds, TypeFamilies,
              TemplateHaskell, GADTs, UndecidableInstances, RankNTypes,
-             ScopedTypeVariables, FlexibleContexts, AllowAmbiguousTypes,
+             ScopedTypeVariables, FlexibleContexts,
              TypeApplications #-}
 {-# OPTIONS_GHC -O0 #-}
 

diff --git a/src/Data/Singletons/TypeError.hs b/src/Data/Singletons/TypeError.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE ExistentialQuantification #-}
 {-# LANGUAGE FlexibleInstances #-}

diff --git a/tests/ByHand.hs b/tests/ByHand.hs
@@ -15,7 +15,7 @@ This file is a great way to understand the singleton encoding better.
              RankNTypes, TypeOperators, MultiParamTypeClasses,
              FunctionalDependencies, ScopedTypeVariables,
              LambdaCase, TemplateHaskell, EmptyCase,
-             AllowAmbiguousTypes, TypeApplications, EmptyCase
+             TypeApplications, EmptyCase
  #-}
 
 module ByHand where