diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-25 02:00:23 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-25 02:00:23 -0400 |
| commit | 2506453874aa30968d8533a603d295ac248273c5 (patch) | |
| tree | 16060cde005ddb6448271b250b16cd7c87954f91 /src/Propellor/Property.hs | |
| parent | 80ace2f30bea2ed850cf400a85fe68b3784751d2 (diff) | |
add type alias for Sing to be less confusing for users
Diffstat (limited to 'src/Propellor/Property.hs')
| -rw-r--r-- | src/Propellor/Property.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs index cab233d0..c665b6a0 100644 --- a/src/Propellor/Property.hs +++ b/src/Propellor/Property.hs @@ -260,8 +260,8 @@ tightenTargets , (NonTargets new `NotSuperset` NonTargets old) ~ CanCombineTargets , SingI new ) - => Property (Sing old) - -> Property (Sing new) + => Property (MetaTypes old) + -> Property (MetaTypes new) tightenTargets (Property old d a i c) = Property sing d a i c {- @@ -276,9 +276,9 @@ pickOS ( combined ~ Union a b , SingI combined ) - => Property (Sing a) - -> Property (Sing b) - -> Property (Sing combined) + => Property (MetaTypes a) + -> Property (MetaTypes b) + -> Property (MetaTypes combined) pickOS a@(Property ta ioa) b@(Property tb iob) = Property sing io where -- TODO pick with of ioa or iob to use based on final OS of |