From b338dbd317db7756945a0aa3823fc2cb2eec91fd Mon Sep 17 00:00:00 2001
From: Victor Taelin <victor.taelin@gmail.com>
Date: Tue, 4 Jun 2024 20:26:27 -0300
Subject: [PATCH] temporary increase of pretty print stack - #368

this should be handled correctly after the C/CUDA readback on Rust is
implemented, as that'll allow just using Rust's stringifier instead
---
 Cargo.toml | 2 +-
 src/hvm.c  | 2 +-
 src/hvm.cu | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index e0ed72c7..11e5ef1f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,7 +2,7 @@
 name = "hvm"
 description = "A massively parallel, optimal functional runtime in Rust."
 license = "Apache-2.0"
-version = "2.0.18"
+version = "2.0.19"
 edition = "2021"
 rust-version = "1.74"
 build = "build.rs"
diff --git a/src/hvm.c b/src/hvm.c
index 89bec421..bb22714d 100644
--- a/src/hvm.c
+++ b/src/hvm.c
@@ -2065,7 +2065,7 @@ void pretty_print_numb(Numb word) {
 }
 
 void pretty_print_port(Net* net, Book* book, Port port) {
-  Port stack[256];
+  Port stack[4096];
   stack[0] = port;
   u32 len = 1;
   u32 num = 0;
diff --git a/src/hvm.cu b/src/hvm.cu
index 3ecd5cfd..02796ad3 100644
--- a/src/hvm.cu
+++ b/src/hvm.cu
@@ -2545,7 +2545,7 @@ __device__ void pretty_print_numb(Numb word) {
 }
 
 __device__ void pretty_print_port(Net* net, Port port) {
-  Port stack[256];
+  Port stack[4096];
   stack[0] = port;
   u32 len = 1;
   while (len > 0) {