diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-02-28 23:57:31 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-02-28 23:57:31 +0100 |
| commit | 9eec3fb3ec727e61a34742be7672a4e281127576 (patch) | |
| tree | cdfc2d9225077e082e18f1d1a00ea9e3ec2deca4 /src/Interpreter.hs | |
| parent | b3b7cebfac9d9c54a2e51152e60e04999a7683e3 (diff) | |
test: Simplify and make it a bit faster
Diffstat (limited to 'src/Interpreter.hs')
| -rw-r--r-- | src/Interpreter.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Interpreter.hs b/src/Interpreter.hs index deb829b..dd558fe 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -558,7 +558,7 @@ tupRepIdx :: (forall m. f (S m) -> (f m, Int)) tupRepIdx _ SZ _ = () tupRepIdx uncons (SS n) tup = let (tup', i) = uncons tup - in (tupRepIdx uncons n tup', fromIntegral @Int @Int64 i) + in ((,) $! tupRepIdx uncons n tup') $! fromIntegral @Int @Int64 i ixUncons :: Index (S n) -> (Index n, Int) ixUncons (IxCons idx i) = (idx, i) |