diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2023-09-21 23:56:46 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2023-09-21 23:56:46 +0200 |
| commit | 302ca6fdb6d0a3ed764a99a3f42829a5a012b258 (patch) | |
| tree | 2c0a745dd6381e88d3d869d817b29958f32ea272 | |
| parent | 0f8b95b042ad39df27972b006345922fcaf5cab5 (diff) | |
Add invocation example to Example.hs
| -rw-r--r-- | src/Example.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Example.hs b/src/Example.hs index ee91981..f3baedf 100644 --- a/src/Example.hs +++ b/src/Example.hs @@ -9,6 +9,9 @@ import CHAD import Simplify +-- ppExpr senv5 $ simplifyN 20 $ freezeRet (drev (descr5 SAccum SAccum) (\_ _ -> Some SAccum) ex5) (EConst ext STF32 1.0) + + bin :: SOp (TPair a b) c -> Ex env a -> Ex env b -> Ex env c bin op a b = EOp ext op (EPair ext a b) |