From 18da2923e06b307a2ef8f7764dab6c767eb21519 Mon Sep 17 00:00:00 2001 From: James Eversole Date: Tue, 8 Sep 2026 15:51:28 -0500 Subject: [PATCH] Fix interaction tree demos and HTTP recv 4096 --- demos/interactionTrees/arboricxServer.tri | 2 +- demos/interactionTrees/environment.tri | 2 +- demos/interactionTrees/forkAwait.tri | 2 +- demos/interactionTrees/greet.tri | 2 +- demos/interactionTrees/safeRead.tri | 2 +- demos/interactionTrees/shout.tri | 2 +- demos/interactionTrees/state.tri | 2 +- demos/interactionTrees/writeThenRead.tri | 2 +- demos/interactionTrees/yield.tri | 2 +- lib/http.tri | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) diff --git a/demos/interactionTrees/arboricxServer.tri b/demos/interactionTrees/arboricxServer.tri index 2c0bf44..6e38499 100644 --- 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 index d8462cc..f173801 100644 --- 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 index cd1f5da..31d1797 100644 --- 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 index 75548f2..f2223b0 100644 --- 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 index 3ddeb49..605ce5b 100644 --- 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 index 061a23e..0a0dd12 100644 --- 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 index 97d5d22..6a63b41 100644 --- 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 index 29282e7..617c095 100644 --- 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 index 475e916..f8a1d80 100644 --- 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 index 80b01f6..cf4ebf4 100644 --- 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 :