git.iko.soy/Idris-dev
on master help sign in
Fix import clash in Setup.hs

Control.Exception.catch clashes with Prelude.catch on older versions of base. Newer versions of base don’t have Prelude.catch, so it’s probably not possible to import Prelude hiding (catch) .

commitedbb52fd1c216ad750339fcda99fa2079ef2fd7e authorMelvar Chen <Melvar.Chen@googlemail.com> dateSun 22 Dec 2013, 14:51 (13 years ago) parent4218126
1 file changed+1−1
compare with master
unifiedsplit
Setup.hs+1−1
Setup.hs+1−1
@@ -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"