diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2023-09-21 23:57:20 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2023-09-21 23:57:38 +0200 |
| commit | 3266269f4636a491f74ccf72b02db7cbb5acf26c (patch) | |
| tree | ace7ee902c01c8dd2e081afa28913399ce5da31d /src/Example.hs | |
| parent | 302ca6fdb6d0a3ed764a99a3f42829a5a012b258 (diff) | |
WIP in merge mode only return free variables
The code typechecks and may well work, but is untested.
Diffstat (limited to 'src/Example.hs')
| -rw-r--r-- | src/Example.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Example.hs b/src/Example.hs index f3baedf..389248a 100644 --- a/src/Example.hs +++ b/src/Example.hs @@ -9,7 +9,7 @@ import CHAD import Simplify --- ppExpr senv5 $ simplifyN 20 $ freezeRet (drev (descr5 SAccum SAccum) (\_ _ -> Some SAccum) ex5) (EConst ext STF32 1.0) +-- ppExpr senv5 $ simplifyN 20 $ let d = descr5 SAccum SAccum in freezeRet d (drev d (\_ _ -> Some SAccum) ex5) (EConst ext STF32 1.0) bin :: SOp (TPair a b) c -> Ex env a -> Ex env b -> Ex env c |