commit 4f1cf45106066360375c9ae44e02666c46292efe parent 03893e62bf4b4078d9b4075914565d93ec02f9ac Author: James Eversole <james@eversole.co> Date: Wed, 9 Sep 2026 13:26:58 +0000 Fix arboricxServer import and demo import statements Diffstat:
11 files changed, 12 insertions(+), 11 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,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- Environment effects: ask and local. -- ask reads the current environment value. diff --git a/demos/interactionTrees/forkAwait.tri b/demos/interactionTrees/forkAwait.tri @@ -1,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- Basic fork and await. -- fork spawns a concurrent task and returns a handle. diff --git a/demos/interactionTrees/greet.tri b/demos/interactionTrees/greet.tri @@ -1,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- Greet and return a pure value. -- putStrLn writes to stdout; pure lifts "done" into IO. diff --git a/demos/interactionTrees/safeRead.tri b/demos/interactionTrees/safeRead.tri @@ -1,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- readFile returns a Result. matchResult branches on ok / err. -- Run with --allow-read PATH or --unsafe-io. diff --git a/demos/interactionTrees/shout.tri b/demos/interactionTrees/shout.tri @@ -1,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- Transform an IO result. -- mapIO applies a pure function to the value produced by an action. diff --git a/demos/interactionTrees/state.tri b/demos/interactionTrees/state.tri @@ -1,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- Mutable state via get and put. -- get reads the current state. diff --git a/demos/interactionTrees/writeThenRead.tri b/demos/interactionTrees/writeThenRead.tri @@ -1,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- Write a file, then read it back. -- thenIO discards the writeFile Result and continues. diff --git a/demos/interactionTrees/yield.tri b/demos/interactionTrees/yield.tri @@ -1,5 +1,5 @@ !import "prelude" !Local -!import "io" !Local +!import "io" !Local -- Cooperative scheduling with yield. -- yield returns control to the scheduler so other tasks can run. diff --git a/flake.nix b/flake.nix @@ -298,6 +298,7 @@ mkdir -p $out/app/bin $out/app/lib $out/app/tricu-apps $out/app/store cp ${tricuStatic}/bin/tricu $out/app/bin/ cp -r ${./lib}/* $out/app/lib/ + cp ${./tricu.workspace} $out/app/tricu.workspace cp ${./tricu-apps/arboricxServer.tri} $out/app/tricu-apps/arboricxServer.tri ''; diff --git a/tricu-apps/arboricxServer.tri b/tricu-apps/arboricxServer.tri @@ -1,5 +1,5 @@ -!import "../lib/io.tri" !Local -!import "../lib/arboricx/server.tri" !Local +!import "io" !Local +!import "arboricx.server" !Local -- Arboricx HTTP registry server. -- Run with --allow-write ./store --allow-read ./store