diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-02-11 17:01:13 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-02-11 22:54:01 +0100 |
| commit | 5463f8ccdecbdd23ae47c2a956e906eb6b83a724 (patch) | |
| tree | 88f67ffcad8815f46e253881f30faad529557e97 | |
| parent | 1bfea8293d4e13f39d2e070f3e73d8ef298fc679 (diff) | |
Add demoteSProjType
| -rw-r--r-- | lib/Distribution/Helper.hs | 1 | ||||
| -rw-r--r-- | src/CabalHelper/Compiletime/Types.hs | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/lib/Distribution/Helper.hs b/lib/Distribution/Helper.hs index cabd97d..964d722 100644 --- a/lib/Distribution/Helper.hs +++ b/lib/Distribution/Helper.hs @@ -66,6 +66,7 @@ module Distribution.Helper ( , DistDir(..) , ProjType(..) , SProjType(..) + , demoteSProjType , ProjLoc(..) , Programs(..) 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 |