From 29356748c86f85e3498201e6d38443aa2d8f232a Mon Sep 17 00:00:00 2001
From: jazullo <66849054+jazullo@users.noreply.github.com>
Date: Wed, 27 Sep 2023 14:04:57 -0400
Subject: [PATCH] Add printing for vector types

---
 gibbon-compiler/src/Gibbon/L1/GenSML.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gibbon-compiler/src/Gibbon/L1/GenSML.hs b/gibbon-compiler/src/Gibbon/L1/GenSML.hs
index 516e9a368..1c6c49fd1 100644
--- a/gibbon-compiler/src/Gibbon/L1/GenSML.hs
+++ b/gibbon-compiler/src/Gibbon/L1/GenSML.hs
@@ -364,7 +364,7 @@ ppTy1 ty1 = case ty1 of
   SymHashTy -> _
   IntHashTy -> _
   PackedTy s () -> " dat_" <> text s
-  VectorTy _ty1' -> _
+  VectorTy ty1' -> ppTy1 ty1' <+> "ArraySlice.slice"
   ListTy ty1' -> ppTy1 ty1' <+> "list"
   ArenaTy -> _