readline better than editline

src/WithReadline.make

@@ -2,8 +2,5 @@
 
 module MyReadline (readline, addHistory) where
 
-#if __GLASGOW_HASKELL__ >= 610
-import System.Console.Editline.Readline
-#else
 import System.Console.Readline
-#endif
+

src/oracle/Make.curry

@@ -34,11 +34,9 @@ type Done a = IORef (FM String a)
 --- if test returns Nothing.
 make :: Bool -> ModuleName -> TestAct a -> ProgAct a -> IO ()
 make quiet modu test act = do
-  print 1
   unless quiet $ putStrLn "ensuring existence of fcy/fint files..."
   callFrontendWithParams FCY (setQuiet True defaultParams) modu
   unless quiet $ putStrLn "...ensured"
-  print 2
   done <- newIORef (emptyFM (\ x y -> not (leqString x y)))
   workUpDependence done test act modu
   return ()