Merge pull request #4870 from idris-lang/melted-patch-1

Revert newer haskeline
idris-lang · Jun 6, 2020 · f975b45 · f975b45
2 parents 9771054 + 22da815
commit f975b45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris.cabal b/idris.cabal
@@ -336,7 +336,7 @@ Library
                 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
                 , filepath < 1.5
                 , fingertree >= 0.1.4.1 && < 0.2
-                , haskeline >= 0.7 && < 0.9
+                , haskeline >= 0.7 && < 0.8
                 , ieee754 >= 0.7 && < 0.9
                 , megaparsec >= 7.0.4 && < 9
                 , mtl >= 2.1 && < 2.3