D2[Array] now has a Maybe instead of zero-size for zero

Remaining problem: 'add' in Compile doesn't use the D2 stuff

1 files changed, 0 insertions, 22 deletions

diff --git a/src/AST.hs b/src/AST.hs
index a4898c0..c8377de 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -246,28 +246,6 @@ extOf = \case
   EOneHot x _ _ _ _ -> x
   EError x _ _ -> x
 
-unSTy :: STy t -> Ty
-unSTy = \case
-  STNil -> TNil
-  STPair a b -> TPair (unSTy a) (unSTy b)
-  STEither a b -> TEither (unSTy a) (unSTy b)
-  STMaybe t -> TMaybe (unSTy t)
-  STArr n t -> TArr (unSNat n) (unSTy t)
-  STScal t -> TScal (unSScalTy t)
-  STAccum t -> TAccum (unSTy t)
-
-unSEnv :: SList STy env -> [Ty]
-unSEnv SNil = []
-unSEnv (SCons t l) = unSTy t : unSEnv l
-
-unSScalTy :: SScalTy t -> ScalTy
-unSScalTy = \case
-  STI32 -> TI32
-  STI64 -> TI64
-  STF32 -> TF32
-  STF64 -> TF64
-  STBool -> TBool
-
 subst1 :: Expr x env a -> Expr x (a : env) t -> Expr x env t
 subst1 repl = subst $ \x t -> \case IZ -> repl
                                     IS i -> EVar x t i