diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-08-30 17:48:15 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-08-30 17:48:15 +0200 |
| commit | 8b047ff11ebd4715647bfc041a190f72dcf4d5a9 (patch) | |
| tree | e8440120b7bbd4e45b367acb3f7185d25e7f3766 /src/Example.hs | |
| parent | f4b94d7cc2cb05611b462ba278e4f12f7a7a5e5e (diff) | |
Migrate to accumulators (mostly removing EVM code)
Diffstat (limited to 'src/Example.hs')
| -rw-r--r-- | src/Example.hs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/Example.hs b/src/Example.hs index 30031c0..572d67e 100644 --- a/src/Example.hs +++ b/src/Example.hs @@ -1,8 +1,6 @@ {-# LANGUAGE DataKinds #-} module Example where -import Data.Some - import AST import AST.Pretty import CHAD @@ -10,7 +8,7 @@ import Data import Simplify --- ppExpr senv5 $ simplifyN 20 $ let d = descr5 SAccum SAccum in freezeRet d (drev d (\_ _ -> Some SAccum) ex5) (EConst ext STF32 1.0) +-- ppExpr senv5 $ simplifyN 20 $ let d = descr5 SMerge SMerge in freezeRet d (drev d ex5) (EConst ext STF32 1.0) bin :: SOp (TPair a b) c -> Ex env a -> Ex env b -> Ex env c @@ -104,7 +102,8 @@ descr5 a b = DTop `DPush` (STEither (STScal STF32) (STScal STF32), a) `DPush` (S ex5 :: Ex [TScal TF32, TEither (TScal TF32) (TScal TF32)] (TScal TF32) ex5 = ECase ext (EVar ext (STEither (STScal STF32) (STScal STF32)) (IS IZ)) - (EVar ext (STScal STF32) IZ) + (bin (OMul STF32) (EVar ext (STScal STF32) IZ) + (EVar ext (STScal STF32) (IS IZ))) (bin (OMul STF32) (EVar ext (STScal STF32) IZ) (bin (OAdd STF32) (EVar ext (STScal STF32) (IS IZ)) (EConst ext STF32 1.0))) |