git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4830 from melted/fix_ghc_86

Fix build on GHC 8.6

commitccbdb4b8947ae62a88b1bf0eaa25b432415c781f authorNiklas Larsson <metaniklas@gmail.com> dateThu 19 Mar 2020, 09:08 (7 years ago) parent87577e3c14f72f
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