on master help sign in
Pin Knot compiler to 2026.6.26.1947 (last working release)

The July 11 Knot compiler releases (2026.7.11.*) introduced a regression: IO do-blocks fail with 'type mismatch: expected {}, found IO _ {}' on every expression, including yield {}. Even the Knot repo's own example programs fail to compile. Pinning to the last working release (2026.6.26.1947) until the compiler bug is fixed. Also revert main to original simple form (no _ <- binds needed).

commit199ec3eb8de7a57b6011b1fbd9d2207cf2d51334 authoriko <mail@iko.soy> dateSat 11 Jul 2026, 12:39 (3 months ago) parentc0c3f64
2 files changed+5−7
.github/workflows/build.yml+1−2 server.knot+4−5
.github/workflows/build.yml+1−2
@@ -85,8 +85,7 @@ jobs:
8585
8686 - name: Download knot compiler
8787 run: |
88− version=$(basename "$(curl -sI -o /dev/null -w '%{redirect_url}' \
89− https://github.com/ilyakooo0/knot/releases/latest)")
88+ version="2026.6.26.1947"
9089 tarball="knot-${version}-${{ matrix.knot-platform }}.tar.gz"
9190 curl -fsSL "https://github.com/ilyakooo0/knot/releases/download/${version}/${tarball}" \
9291 | tar xz
server.knot+4−5
@@ -1317,10 +1317,9 @@ backgroundRetryForwards = do
13171317-- Fork the background prune loop (which runs an immediate sweep on its
13181318-- first tick) and start the HTTP listener. The forward-retry loop only
13191319-- runs when federation is enabled.
1320−main : IO {network, console, clock, random, r *challenges, r *forwardFailures, r *forwards, r *messages, r *presence, r *seqCounter, r *sessions, w *challenges, w *forwardFailures, w *forwards, w *messages, w *presence, w *seqCounter, w *sessions} a
13211320main = do
1322− _ <- logInfo ("Skrepka relay server starting on " ++ bindHost ++ ":" ++ show listenPort ++ " ...")
1323− _ <- logInfo (" federation: " ++ (if federationEnabled then "enabled" else "disabled"))
1324− _ <- fork backgroundPrune
1325− _ <- when federationEnabled (fork backgroundRetryForwards)
1321+ logInfo ("Skrepka relay server starting on " ++ bindHost ++ ":" ++ show listenPort ++ " ...")
1322+ logInfo (" federation: " ++ (if federationEnabled then "enabled" else "disabled"))
1323+ fork backgroundPrune
1324+ when federationEnabled (fork backgroundRetryForwards)
13261325 listenOn bindHost listenPort api