summaryrefslogtreecommitdiff
path: root/src/Propellor/Types
diff options
context:
space:
mode:
authorJoey Hess2016-03-20 17:59:13 -0400
committerJoey Hess2016-03-20 17:59:13 -0400
commit84bb4d3e1590d143627be61eba05017e073d9cc7 (patch)
treeb73acbf0e59fe5904ad631917b186cdd8405a315 /src/Propellor/Types
parent7083214c0cf4e2c1ea4e2c0bc87b8fe822236d8f (diff)
flip to modern version
Diffstat (limited to 'src/Propellor/Types')
-rw-r--r--src/Propellor/Types/PropTypes.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Propellor/Types/PropTypes.hs b/src/Propellor/Types/PropTypes.hs
index 8d613633..65706b19 100644
--- a/src/Propellor/Types/PropTypes.hs
+++ b/src/Propellor/Types/PropTypes.hs
@@ -25,7 +25,7 @@ import GHC.TypeLits (Nat)
-- Older versions of ghc lack this module.
-- #if MIN_VERSION_base(4,8,0)
--- import Data.Type.Equality
+import Data.Type.Equality
-- #endif
----- DEMO ----------
@@ -271,12 +271,12 @@ type instance EqT 'OSBuntish 'OSFreeBSD = 'False
type instance EqT 'OSFreeBSD 'OSDebian = 'False
type instance EqT 'OSFreeBSD 'OSBuntish = 'False
-- #if MIN_VERSION_base(4,8,0)
--- type instance EqT ('UsedPort a) ('UsedPort b) = a == b
+type instance EqT ('UsedPort a) ('UsedPort b) = a == b
-- #else
-- On older ghc, equality testing of type Nats is not implemented.
-- Assume two Nats are equal. This means that type level port conflict
-- detection won't work when using ghc 7.6.3.
-type instance EqT ('UsedPort a) ('UsedPort b) = True
+--type instance EqT ('UsedPort a) ('UsedPort b) = True
-- #endif
-- More modern version if the combinatiorial explosion gets too bad later:
--