diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-01-24 21:31:24 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-01-24 21:31:24 +0100 |
| commit | 04ce88ce93523988ec1dc6775ac6a4b439e90913 (patch) | |
| tree | 14366c17e0cdc66f4b624cfcb641b1eeb1eed5f9 /src/Example.hs | |
| parent | b06fff729063aaf23500ba1c417520185a2cf7c0 (diff) | |
WIP rewrite code transform typing
Diffstat (limited to 'src/Example.hs')
| -rw-r--r-- | src/Example.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Example.hs b/src/Example.hs index 389248a..643b82f 100644 --- a/src/Example.hs +++ b/src/Example.hs @@ -103,8 +103,7 @@ 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)) - (bin (OMul STF32) (EVar ext (STScal STF32) IZ) - (EVar ext (STScal STF32) (IS IZ))) + (EVar ext (STScal STF32) IZ) (bin (OMul STF32) (EVar ext (STScal STF32) IZ) (bin (OAdd STF32) (EVar ext (STScal STF32) (IS IZ)) (EConst ext STF32 1.0))) |