From 302ca6fdb6d0a3ed764a99a3f42829a5a012b258 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 21 Sep 2023 23:56:46 +0200 Subject: Add invocation example to Example.hs --- src/Example.hs | 3 +++ 1 file changed, 3 insertions(+) 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) -- cgit v1.2.3-70-g09d2