Merge pull request #4830 from melted/fix_ghc_86

Fix build on GHC 8.6
idris-lang · Mar 19, 2020 · ccbdb4b · ccbdb4b
2 parents 87577e3 + c14f72f
commit ccbdb4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Idris/Core/TT.hs b/src/Idris/Core/TT.hs
@@ -325,7 +325,7 @@ bindTC x k = case x of
 instance Monad TC where
     return x = OK x
     x >>= k = bindTC x k
-#if !(MIN_VERSION_base(4,12,0))
+#if !(MIN_VERSION_base(4,13,0))
     fail = Fail.fail
 #endif