diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-11-05 22:29:41 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-11-05 22:29:41 +0100 |
| commit | e82b1eed9f9d749afb1e47f0bc8f35e806fda9f6 (patch) | |
| tree | 921616cc5e0b4fa89f73bf1034f670df4a8b1b00 /src/Example.hs | |
| parent | f8113d7e319a2773c8a8f0313efdba26cb038553 (diff) | |
Some extra Map optimisations
Diffstat (limited to 'src/Example.hs')
| -rw-r--r-- | src/Example.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Example.hs b/src/Example.hs index 2c51291..e996002 100644 --- a/src/Example.hs +++ b/src/Example.hs @@ -34,9 +34,8 @@ pipeline config term | Dict <- styKnown (d2 (typeOf term)) = simplifyFix $ pruneExpr knownEnv $ simplifyFix $ unMonoid $ - chad' config knownEnv $ - simplifyFix $ - term + simplifyFix $ chad' config knownEnv $ + simplifyFix $ term -- :seti -XOverloadedLabels -XPartialTypeSignatures -Wno-partial-type-signatures pipeline' :: KnownEnv env => CHADConfig -> Ex env t -> IO () |