git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3939 from melted/ghc_8.2
9fe2ea2Niklas Larsson
src/Idris/Core/DeepSeq.hs+3−1
compare with master
unifiedsplit
@@ -5,7 +5,7 @@ Copyright :
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
8−{-# LANGUAGE BangPatterns, ViewPatterns #-}
8+{-# LANGUAGE BangPatterns, CPP, ViewPatterns #-}
9{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
9{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
10
10
11module Idris.Core.DeepSeq where
11module Idris.Core.DeepSeq where
@@ -27,7 +27,9 @@ forceDefCtxt (force -> !ctxt) = ctxt
27
27
28instance NFData NameOutput
28instance NFData NameOutput
29instance NFData TextFormatting
29instance NFData TextFormatting
30+#if !(MIN_VERSION_base(4,10,0))
30instance NFData Ordering
31instance NFData Ordering
32+#endif
31instance NFData OutputAnnotation
33instance NFData OutputAnnotation
32instance NFData SpecialName
34instance NFData SpecialName
33instance NFData Universe
35instance NFData Universe