Fix Applicable/Replace instance according to semantics (2)

parent 4cfffbab
......@@ -226,9 +226,14 @@ instance (Show a, Eq a) => Action (Replace a) a where
]
-}
{- semantics (1)
instance Eq a => Applicable (Replace a) a where
applicable Keep _ = mempty
applicable (Replace o _) a = check (o == a) "Applying a value different than the *old* value of a Replace patch"
-}
instance Applicable (Replace a) a where
applicable _ _ = mempty
type instance Patched (Replace a) = a
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment