diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-07 23:58:03 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-07 23:58:03 +0100 |
| commit | 58d4d0b47f5e609e21132f48b727de37d06b6777 (patch) | |
| tree | 2339f67037ab37d26d5f3a50e30b005cc0bb7015 /src/Interpreter.hs | |
| parent | 92ddb2263ae495c229badcc209c76a1252bd2752 (diff) | |
Remove build1
Diffstat (limited to 'src/Interpreter.hs')
| -rw-r--r-- | src/Interpreter.hs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Interpreter.hs b/src/Interpreter.hs index 36543e9..abc9800 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -90,10 +90,6 @@ interpret'Rec env = \case EJust _ e -> Just <$> interpret' env e EMaybe _ a b e -> maybe (interpret' env a) (\x -> interpret' (Value x `SCons` env) b) =<< interpret' env e EConstArr _ _ _ v -> return v - EBuild1 _ a b -> do - n <- fromIntegral @Int64 @Int <$> interpret' env a - arrayGenerateLinM (ShNil `ShCons` n) - (\i -> interpret' (Value (fromIntegral @Int @Int64 i) `SCons` env) b) EBuild _ dim a b -> do sh <- unTupRepIdx ShNil ShCons dim <$> interpret' env a arrayGenerateM sh (\idx -> interpret' (Value (tupRepIdx ixUncons dim idx) `SCons` env) b) |