on master help sign in
Merge pull request #4830 from melted/fix_ghc_86
ccbdb4bNiklas Larsson
src/Idris/Core/TT.hs+1−1
@@ -325,7 +325,7 @@ bindTC x k = case x of
325instance Monad TC where
325instance Monad TC where
326 return x = OK x
326 return x = OK x
327 x >>= k = bindTC x k
327 x >>= k = bindTC x k
328−#if !(MIN_VERSION_base(4,12,0))
328+#if !(MIN_VERSION_base(4,13,0))
329 fail = Fail.fail
329 fail = Fail.fail
330#endif
330#endif
331
331