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