diff options
| author | Joey Hess <joeyh@joeyh.name> | 2018-06-12 10:55:00 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2018-06-12 10:55:00 -0400 |
| commit | d1164739fb1844dd9a5c4e57c76ce1cd2dbddebc (patch) | |
| tree | 781c4133132251559bf7a647fd821f395f332e57 /src/Propellor/PropAccum.hs | |
| parent | 70f318e44d12500c62dd1ad1164fbf7fd9ca8726 (diff) | |
| parent | dca1c56e612757c4bb306fb45675337dc52eb201 (diff) | |
Merge branch 'joeyconfig'
Diffstat (limited to 'src/Propellor/PropAccum.hs')
| -rw-r--r-- | src/Propellor/PropAccum.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Propellor/PropAccum.hs b/src/Propellor/PropAccum.hs index 5d1d3afb..c60ced73 100644 --- a/src/Propellor/PropAccum.hs +++ b/src/Propellor/PropAccum.hs @@ -41,9 +41,9 @@ infixl 1 & infixl 1 &^ infixl 1 ! -type family GetMetaTypes x -type instance GetMetaTypes (Property (MetaTypes t)) = MetaTypes t -type instance GetMetaTypes (RevertableProperty (MetaTypes t) undo) = MetaTypes t +type family GetMetaTypes x where + GetMetaTypes (Property (MetaTypes t)) = MetaTypes t + GetMetaTypes (RevertableProperty (MetaTypes t) undo) = MetaTypes t -- | Adds a property to a Props. -- |