tricu

commit 03893e62bf4b4078d9b4075914565d93ec02f9ac
parent 56059189e809a7b93980b6698406516bc0410210
Author: James Eversole <james@eversole.co>
Date:   Tue,  8 Sep 2026 15:51:28 -0500

Fix interaction tree demos and HTTP recv 4096

Diffstat:
M
demos/interactionTrees/arboricxServer.tri
 | 
2
+-
M
demos/interactionTrees/environment.tri
 | 
2
+-
M
demos/interactionTrees/forkAwait.tri
 | 
2
+-
M
demos/interactionTrees/greet.tri
 | 
2
+-
M
demos/interactionTrees/safeRead.tri
 | 
2
+-
M
demos/interactionTrees/shout.tri
 | 
2
+-
M
demos/interactionTrees/state.tri
 | 
2
+-
M
demos/interactionTrees/writeThenRead.tri
 | 
2
+-
M
demos/interactionTrees/yield.tri
 | 
2
+-
M
lib/http.tri
 | 
2
+-

10 files changed, 10 insertions(+), 10 deletions(-)
diff --git a/demos/interactionTrees/arboricxServer.tri b/demos/interactionTrees/arboricxServer.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"              !Local
 !import "arboricx.server" !Local
 
diff --git a/demos/interactionTrees/environment.tri b/demos/interactionTrees/environment.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- Environment effects: ask and local.
diff --git a/demos/interactionTrees/forkAwait.tri b/demos/interactionTrees/forkAwait.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- Basic fork and await.
diff --git a/demos/interactionTrees/greet.tri b/demos/interactionTrees/greet.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- Greet and return a pure value.
diff --git a/demos/interactionTrees/safeRead.tri b/demos/interactionTrees/safeRead.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- readFile returns a Result.  matchResult branches on ok / err.
diff --git a/demos/interactionTrees/shout.tri b/demos/interactionTrees/shout.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- Transform an IO result.
diff --git a/demos/interactionTrees/state.tri b/demos/interactionTrees/state.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- Mutable state via get and put.
diff --git a/demos/interactionTrees/writeThenRead.tri b/demos/interactionTrees/writeThenRead.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- Write a file, then read it back.
diff --git a/demos/interactionTrees/yield.tri b/demos/interactionTrees/yield.tri
@@ -1,4 +1,4 @@
-!import prelude !Local
+!import "prelude" !Local
 !import "io"   !Local
 
 -- Cooperative scheduling with yield.
diff --git a/lib/http.tri b/lib/http.tri
@@ -152,7 +152,7 @@ responseForMethod = (method resp :
 -- ---------------------------------------------------------------------------
 
 recvUntilMax_ = (y (self sock pattern maxBytes acc accLen :
-  onResult_ (recv sock 1)
+  onResult_ (recv sock 4096)
     (err :
       pure (err 400 acc))
     (chunk :