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 /src/CabalHelper/Compiletime | |
| parent | 1bfea8293d4e13f39d2e070f3e73d8ef298fc679 (diff) | |
Add demoteSProjType
Diffstat (limited to 'src/CabalHelper/Compiletime')
| -rw-r--r-- | src/CabalHelper/Compiletime/Types.hs | 5 |
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 |