diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:46:22 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:46:22 +0000 |
| commit | 59740d2273ba19a1abdee84a345b5d50a9b007c4 (patch) | |
| tree | db8160045bf6ee6dc037fb8ff21388b99de9c47e | |
| parent | acb51296f6fc5d7ec5ff91feace09c9f1d0a1fbc (diff) | |
| download | verismith-59740d2273ba19a1abdee84a345b5d50a9b007c4.tar.gz verismith-59740d2273ba19a1abdee84a345b5d50a9b007c4.zip | |
Add .gitAttributes
| -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 |