diff options
-rw-r--r-- | .gitattributes | 1 | ||||
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..3d990ca --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +bugs/*.v linguist-vendored=true diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index c0ce721..3cecbe4 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -35,7 +35,7 @@ instance Functor Replacement where fmap _ None = None instance Applicative Replacement where - pure a = Single a + pure = Single (Dual a b) <*> (Dual c d) = Dual (a c) $ b d (Dual a b) <*> (Single c) = Dual (a c) $ b c (Single a) <*> (Dual b c) = Dual (a b) $ a c |