aboutsummaryrefslogtreecommitdiff
path: root/CLPM/Package.dcl
diff options
context:
space:
mode:
authorCamil Staps2017-02-07 19:10:34 +0100
committerCamil Staps2017-02-07 19:10:34 +0100
commitf43db4cbbf9bbcde928daa49ce3fac96be1fa822 (patch)
tree32ba6071a9b407cdf9fd92b2be748a01391b8c66 /CLPM/Package.dcl
parentMake main module optional (diff)
Improved installation
Diffstat (limited to 'CLPM/Package.dcl')
-rw-r--r--CLPM/Package.dcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/CLPM/Package.dcl b/CLPM/Package.dcl
index aed3c9a..4a070e2 100644
--- a/CLPM/Package.dcl
+++ b/CLPM/Package.dcl
@@ -103,4 +103,4 @@ resolveDependencies :: Repository Package -> MaybeErrorString [(Dependency, Vers
getRecursivePaths :: Package *World -> (MaybeErrorString [Path], *World)
optionsToFlags :: Options -> [String]
-install :: Dependency Version *World -> *(MaybeErrorString (), *World)
+install :: Dependency Version *World -> *(MaybeErrorString String, *World)