From 5463f8ccdecbdd23ae47c2a956e906eb6b83a724 Mon Sep 17 00:00:00 2001
From: Daniel Gröber <dxld@darkboxed.org>
Date: Mon, 11 Feb 2019 17:01:13 +0100
Subject: Add demoteSProjType

---
 src/CabalHelper/Compiletime/Types.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src')

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
-- 
cgit v1.2.3