diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-05 17:33:29 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-05 17:33:29 +0100 |
| commit | 1054a0200a728dad5e9de97fc1057612ab8227c2 (patch) | |
| tree | 1e752469c455787409157fe0ff1bd6948a5f8fbd /src/VeriFuzz/Reduce.hs | |
| parent | b2c44986a84314fa8ee9ead808bfa8cf109c538f (diff) | |
| download | verismith-1054a0200a728dad5e9de97fc1057612ab8227c2.tar.gz verismith-1054a0200a728dad5e9de97fc1057612ab8227c2.zip | |
Format with brittany
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
| -rw-r--r-- | src/VeriFuzz/Reduce.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index cf7a302..e666f38 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -103,10 +103,10 @@ cleanMod m newm = modify . change <$> newm ^. modItems halveStatements :: Statement -> Replacement Statement -halveStatements (SeqBlock l) = SeqBlock <$> halve l +halveStatements (SeqBlock l ) = SeqBlock <$> halve l halveStatements (CondStmnt _ (Just a) b) = maybe (Single a) (Dual a) b -halveStatements (CondStmnt _ Nothing b) = maybe None Single b -halveStatements (ForLoop _ _ _ s) = Single s +halveStatements (CondStmnt _ Nothing b) = maybe None Single b +halveStatements (ForLoop _ _ _ s ) = Single s halveStatements _ = None -- | Split a module declaration in half by trying to remove assign statements. |