@@ -106,7 +106,7 @@ idrisConfigure _ flags _ local = do
106106 -- Put the Git hash into a module for use in the program
107107 -- For release builds, just put the empty string in the module
108108 generateVersionModule = do
109− gitHash <- catch (readProcess "git" ["rev-parse", "--short", "HEAD"] "")
109+ gitHash <- Control.Exception.catch (readProcess "git" ["rev-parse", "--short", "HEAD"] "")
110110 (\e -> let e' = (e :: SomeException) in return "PRE")
111111 let hash = takeWhile (/= '\n') gitHash
112112 let versionModulePath = autogenModulesDir local </> "Version_idris" Px.<.> "hs"