aboutsummaryrefslogtreecommitdiff
path: root/src/CabalHelper
diff options
context:
space:
mode:
authorDaniel Gröber <dxld@darkboxed.org>2019-02-11 17:01:13 +0100
committerDaniel Gröber <dxld@darkboxed.org>2019-02-11 22:54:01 +0100
commit5463f8ccdecbdd23ae47c2a956e906eb6b83a724 (patch)
tree88f67ffcad8815f46e253881f30faad529557e97 /src/CabalHelper
parent1bfea8293d4e13f39d2e070f3e73d8ef298fc679 (diff)
Add demoteSProjType
Diffstat (limited to 'src/CabalHelper')
-rw-r--r--src/CabalHelper/Compiletime/Types.hs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/CabalHelper/Compiletime/Types.hs b/src/CabalHelper/Compiletime/Types.hs
index ac4577f..0d1ca54 100644
--- a/src/CabalHelper/Compiletime/Types.hs
+++ b/src/CabalHelper/Compiletime/Types.hs
@@ -53,6 +53,11 @@ data SProjType pt where
SV2 :: SProjType 'V2
SStack :: SProjType 'Stack
+demoteSProjType :: SProjType pt -> ProjType
+demoteSProjType SV1 = V1
+demoteSProjType SV2 = V2
+demoteSProjType SStack = Stack
+
-- | Location of project sources. The project type of a given directory can be
-- determined by trying to access a set of marker files. See below.
data ProjLoc (pt :: ProjType) where