git.iko.soy/Idris-dev
on master help sign in
Use "where" instead of "do ... let"
b750a04Leif Warner
src/IRTS/CodegenJava.hs+5−4
compare with master
unifiedsplit
@@ -100,10 +100,11 @@ generatePom :: FilePath -> -- tgt dir
100 FilePath -> -- output target
100 FilePath -> -- output target
101 [String] -> -- libs
101 [String] -> -- libs
102 IO ()
102 IO ()
103−generatePom tgtDir out libs = do
103+generatePom tgtDir out libs = writeFile (pomFileName tgtDir) execPom
104+ where
104− let (Ident clsName) = either error id (mkClassName out)
105+ (Ident clsName) = either error id (mkClassName out)
105− let execPom = pomString clsName (takeBaseName out) libs
106+ execPom = pomString clsName (takeBaseName out) libs
106− writeFile (pomFileName tgtDir) execPom
107+
107
108
108invokeMvn :: FilePath -> String -> IO ()
109invokeMvn :: FilePath -> String -> IO ()
109invokeMvn tgtDir command = do
110invokeMvn tgtDir command = do