git.iko.soy/Idris-dev
on master help sign in
Fix build on GHC 8.6
commitc14f72fd2c9d653f557798fa8f9db086b88e644a authorNiklas Larsson <niklas@mm.st> dateWed 18 Mar 2020, 23:09 (7 years ago) parent53f6fc9
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/Core/TT.hs+1−1
src/Idris/Core/TT.hs+1−1
@@ -325,7 +325,7 @@ bindTC x k = case x of
325325instance Monad TC where
326326 return x = OK x
327327 x >>= k = bindTC x k
328−#if !(MIN_VERSION_base(4,12,0))
328+#if !(MIN_VERSION_base(4,13,0))
329329 fail = Fail.fail
330330#endif
331331