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