From 58d4d0b47f5e609e21132f48b727de37d06b6777 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 7 Nov 2024 23:58:03 +0100
Subject: Remove build1

---
 src/AST/Count.hs  | 1 -
 src/AST/Pretty.hs | 7 -------
 2 files changed, 8 deletions(-)

(limited to 'src/AST')

diff --git a/src/AST/Count.hs b/src/AST/Count.hs
index f3e3d74..71b38b1 100644
--- a/src/AST/Count.hs
+++ b/src/AST/Count.hs
@@ -114,7 +114,6 @@ occCountGeneral onehot unpush alter many = go WId
       EJust _ e -> re e
       EMaybe _ a b e -> re a <> re1 b <> re e
       EConstArr{} -> mempty
-      EBuild1 _ a b -> re a <> many (re1 b)
       EBuild _ _ a b -> re a <> many (re1 b)
       EFold1Inner _ a b c -> many (unpush (unpush (go (WSink .> WSink .> w) a))) <> re b <> re c
       ESum1Inner _ e -> re e
diff --git a/src/AST/Pretty.hs b/src/AST/Pretty.hs
index 677c767..76424fe 100644
--- a/src/AST/Pretty.hs
+++ b/src/AST/Pretty.hs
@@ -110,13 +110,6 @@ ppExpr' d val = \case
   EConstArr _ _ ty v
     | Dict <- scalRepIsShow ty -> return $ showsPrec d v
 
-  EBuild1 _ a b -> do
-    a' <- ppExpr' 11 val a
-    name <- genNameIfUsedIn' "i" (STScal STI64) IZ b
-    b' <- ppExpr' 0 (Const name `SCons` val) b
-    return $ showParen (d > 10) $
-      showString "build1 " . a' . showString (" (\\" ++ name ++ " -> ") . b' . showString ")"
-
   EBuild _ n a b -> do
     a' <- ppExpr' 11 val a
     name <- genNameIfUsedIn' "i" (tTup (sreplicate n tIx)) IZ b
-- 
cgit v1.2.3-70-g09d2