diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-09 22:59:12 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-09 22:59:12 +0100 |
| commit | d4d4473ee229674f73929c0860a7e29302330361 (patch) | |
| tree | 65efd81ff635bad0e85cc518dc67c7c204313c73 /src/Example.hs | |
| parent | 34887168c0e2deb549e0e7c77e837ab269d894a2 (diff) | |
Cleanup, more Language operations
Diffstat (limited to 'src/Example.hs')
| -rw-r--r-- | src/Example.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Example.hs b/src/Example.hs index 1775bb9..697c4d9 100644 --- a/src/Example.hs +++ b/src/Example.hs @@ -109,7 +109,7 @@ ex6 :: Ex [TScal TI64, TScal TF32] (TScal TF32) ex6 = fromNamed $ lambda #x $ lambda #n $ body $ let_ #a (unit #x) $ let_ #b (build1 #n (#_ :-> let_ #c (idx0 #a) $ #c * #c)) $ - idx0 (#b .! 3) + #b ! pair nil 3 type R = TScal TF64 |