summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/MetaTypes.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-25 17:36:52 -0400
committerJoey Hess2016-03-25 17:36:52 -0400
commit860d1dd77e1789a91ed61bdceab667d94c9bd345 (patch)
tree8ed892a54932a7887054e3a0023e0eb96088c6d3 /src/Propellor/Types/MetaTypes.hs
parentf01776d64b1b8fcf89903d0de1ffe27f10d620ee (diff)
cleanup warnings
Diffstat (limited to 'src/Propellor/Types/MetaTypes.hs')
-rw-r--r--src/Propellor/Types/MetaTypes.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/Types/MetaTypes.hs b/src/Propellor/Types/MetaTypes.hs
index 6545c924..6033ec27 100644
--- a/src/Propellor/Types/MetaTypes.hs
+++ b/src/Propellor/Types/MetaTypes.hs
@@ -116,8 +116,8 @@ type family CheckCombinable (list1 :: [a]) (list2 :: [a]) :: CheckCombine
-- one target, so can only happen if there's already been a type error.
-- This special case lets the type checker show only the original type
-- error, and not an extra error due to a later CheckCombinable constraint.
-type instance CheckCombinable '[] list2 = CanCombine
-type instance CheckCombinable list1 '[] = CanCombine
+type instance CheckCombinable '[] list2 = 'CanCombine
+type instance CheckCombinable list1 '[] = 'CanCombine
type instance CheckCombinable (l1 ': list1) (l2 ': list2) =
CheckCombinable' (Combine (l1 ': list1) (l2 ': list2))
type family CheckCombinable' (combinedlist :: [a]) :: CheckCombine