diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-20 17:59:13 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-20 17:59:13 -0400 |
| commit | 84bb4d3e1590d143627be61eba05017e073d9cc7 (patch) | |
| tree | b73acbf0e59fe5904ad631917b186cdd8405a315 /src | |
| parent | 7083214c0cf4e2c1ea4e2c0bc87b8fe822236d8f (diff) | |
flip to modern version
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Types/PropTypes.hs | 6 |
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: -- |