Fixed compilation with GHC 7.10.*.

agda · Oct 18, 2015 · 9f012fe · 9f012fe
1 parent d52b5b7
commit 9f012fe
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs b/src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs
@@ -33,8 +33,11 @@ import Control.Monad.State
 import Debug.Trace
 import System.IO.Unsafe
 
+#if __GLASGOW_HASKELL__ <= 708
+import Data.Foldable ( foldMap )
+#endif
+
 import Data.Maybe
-import Data.Foldable
 import Data.Functor
 import Data.Traversable hiding (for)
 import Data.IntMap (IntMap)