@@ -5,7 +5,7 @@ Copyright :
55License : BSD3
66Maintainer : The Idris Community.
77-}
8−{-# LANGUAGE BangPatterns, ViewPatterns #-}
8+{-# LANGUAGE BangPatterns, CPP, ViewPatterns #-}
99{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
1010
1111module Idris.Core.DeepSeq where
@@ -27,7 +27,9 @@ forceDefCtxt (force -> !ctxt) = ctxt
2727
2828instance NFData NameOutput
2929instance NFData TextFormatting
30+#if !(MIN_VERSION_base(4,10,0))
3031instance NFData Ordering
32+#endif
3133instance NFData OutputAnnotation
3234instance NFData SpecialName
3335instance NFData Universe