diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-24 17:37:02 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-24 17:37:09 +0100 |
commit | fe9084c9fe731ff8f7d94729a3280357cda6f259 (patch) | |
tree | 8d9b0e40260aa0f7a2d9e148db21af08b77a2937 /src/VeriFuzz/Reduce.hs | |
parent | 14158fc4ef0809adbbf0b7fdd0c0d5e0fafc2435 (diff) | |
download | verismith-fe9084c9fe731ff8f7d94729a3280357cda6f259.tar.gz verismith-fe9084c9fe731ff8f7d94729a3280357cda6f259.zip |
No expression reduction
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index fcc8e51..bfc9a6e 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -543,7 +543,7 @@ reduce eval src = $ red "Modules" moduleBot halveModules src >>= redAll "Module Items" modItemBot halveModItems >>= redAll "Statements" (const defaultBot) halveStatements - >>= redAll "Expressions" (const defaultBot) halveExpr + -- >>= redAll "Expressions" (const defaultBot) halveExpr where red s bot a = reduce_ s a bot eval red' s bot a t = reduce_ s (a t) (bot t) eval |