Skip to content
Snippets Groups Projects
Commit 6df36788 authored by Tom Ellis's avatar Tom Ellis
Browse files

Remove ConstraintSourceSandboxConfig

because we do not provide sandbox functionality anymore
parent 3f1a5f2c
No related branches found
No related tags found
No related merge requests found
......@@ -16,9 +16,6 @@ data ConstraintSource =
-- | Local cabal.project file
| ConstraintSourceProjectConfig FilePath
-- | Sandbox config file, which is ./cabal.sandbox.config by default.
| ConstraintSourceSandboxConfig FilePath
-- | User config file, which is ./cabal.config by default.
| ConstraintSourceUserConfig FilePath
......@@ -64,8 +61,6 @@ showConstraintSource (ConstraintSourceMainConfig path) =
"main config " ++ path
showConstraintSource (ConstraintSourceProjectConfig path) =
"project config " ++ path
showConstraintSource (ConstraintSourceSandboxConfig path) =
"sandbox config " ++ path
showConstraintSource (ConstraintSourceUserConfig path)= "user config " ++ path
showConstraintSource ConstraintSourceCommandlineFlag = "command line flag"
showConstraintSource ConstraintSourceUserTarget = "user target"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment