diff options
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))) |