● Reorg done. CI green. #485

Merged

navicore merged 1 commit from better-net-examples into main

2026-05-13 22:59:37 +00:00

navicore commented

2026-05-13 22:37:56 +00:00

Owner

New tree under examples/net/:

examples/net/
README.md ← layered tour (DNS → TCP → UDP → TLS → HTTP)
dns/resolve.seq ← NEW: net.dns.resolve demo
tcp/client.seq ← NEW: net.tcp.connect minimal client
tcp/server.seq ← NEW: plain TCP echo server (no HTTP)
tcp/http-routing.seq ← MOVED from examples/io/http/http_server.seq
udp/echo.seq ← NEW: bind + send-to + receive-from round-trip
tls/client.seq ← NEW: net.tls.client upgrading a TCP socket
http/client.seq ← MOVED from examples/io/http-client.seq

udp/echo.seq           ← NEW: bind + send-to + receive-from round-trip
tls/client.seq         ← NEW: net.tls.client upgrading a TCP socket
http/client.seq        ← MOVED from examples/io/http-client.seq

Removed:

examples/io/http/test_simple.seq — was a mislabeled 10-line hello-world, nothing to do with HTTP.
examples/io/http/README.md — content was server-focused; the moved http-routing.seq is heavily self-documenting (a 530-line concatenative-programming
tutorial), so the README was redundant. Run instructions migrated into examples/net/README.md.
examples/io/http/ directory itself, now empty.

Updated:

examples/README.md — added net/ row to the category table; io/ row narrowed to "terminal, files, text processing, compression."
examples/io/README.md — stripped the HTTP sections, added a "for networking see ../net/" pointer.

All five new files compile and pass the seq-lint step (the three unchecked-tcp-write warnings I had at first got the same seq:allow(unchecked-tcp-write)
directive that http-routing.seq already uses, with a one-line comment explaining real code should check the Bool).

New tree under examples/net/: examples/net/ README.md ← layered tour (DNS → TCP → UDP → TLS → HTTP) dns/resolve.seq ← NEW: net.dns.resolve demo tcp/client.seq ← NEW: net.tcp.connect minimal client tcp/server.seq ← NEW: plain TCP echo server (no HTTP) tcp/http-routing.seq ← MOVED from examples/io/http/http_server.seq udp/echo.seq ← NEW: bind + send-to + receive-from round-trip tls/client.seq ← NEW: net.tls.client upgrading a TCP socket http/client.seq ← MOVED from examples/io/http-client.seq udp/echo.seq ← NEW: bind + send-to + receive-from round-trip tls/client.seq ← NEW: net.tls.client upgrading a TCP socket http/client.seq ← MOVED from examples/io/http-client.seq Removed: - examples/io/http/test_simple.seq — was a mislabeled 10-line hello-world, nothing to do with HTTP. - examples/io/http/README.md — content was server-focused; the moved http-routing.seq is heavily self-documenting (a 530-line concatenative-programming tutorial), so the README was redundant. Run instructions migrated into examples/net/README.md. - examples/io/http/ directory itself, now empty. Updated: - examples/README.md — added net/ row to the category table; io/ row narrowed to "terminal, files, text processing, compression." - examples/io/README.md — stripped the HTTP sections, added a "for networking see ../net/" pointer. All five new files compile and pass the seq-lint step (the three unchecked-tcp-write warnings I had at first got the same seq:allow(unchecked-tcp-write) directive that http-routing.seq already uses, with a one-line comment explaining real code should check the Bool).

navicore added 1 commit

2026-05-13 22:37:56 +00:00

● Reorg done. CI green.

CI - Linux / CI - Linux x86_64 (pull_request) Successful in 10m50s

Details

c32df9bbc5

New tree under examples/net/:

  examples/net/
    README.md              ← layered tour (DNS → TCP → UDP → TLS → HTTP)
    dns/resolve.seq        ← NEW: net.dns.resolve demo
    tcp/client.seq         ← NEW: net.tcp.connect minimal client
    tcp/server.seq         ← NEW: plain TCP echo server (no HTTP)
    tcp/http-routing.seq   ← MOVED from examples/io/http/http_server.seq
    udp/echo.seq           ← NEW: bind + send-to + receive-from round-trip
    tls/client.seq         ← NEW: net.tls.client upgrading a TCP socket
    http/client.seq        ← MOVED from examples/io/http-client.seq

    udp/echo.seq           ← NEW: bind + send-to + receive-from round-trip
    tls/client.seq         ← NEW: net.tls.client upgrading a TCP socket
    http/client.seq        ← MOVED from examples/io/http-client.seq

  Removed:
  - examples/io/http/test_simple.seq — was a mislabeled 10-line hello-world, nothing to do with HTTP.
  - examples/io/http/README.md — content was server-focused; the moved http-routing.seq is heavily self-documenting (a 530-line concatenative-programming
  tutorial), so the README was redundant. Run instructions migrated into examples/net/README.md.
  - examples/io/http/ directory itself, now empty.

  Updated:
  - examples/README.md — added net/ row to the category table; io/ row narrowed to "terminal, files, text processing, compression."
  - examples/io/README.md — stripped the HTTP sections, added a "for networking see ../net/" pointer.

  All five new files compile and pass the seq-lint step (the three unchecked-tcp-write warnings I had at first got the same seq:allow(unchecked-tcp-write)
  directive that http-routing.seq already uses, with a one-line comment explaining real code should check the Bool).

navicore merged commit 788b3162e6 into main

2026-05-13 22:59:37 +00:00

navicore deleted branch better-net-examples

2026-05-13 22:59:37 +00:00

navicore referenced this pull request from a commit

2026-05-13 22:59:38 +00:00

Merge pull request '● Reorg done. CI green.' (#485) from better-net-examples into main

navicore referenced this pull request

2026-05-13 23:02:58 +00:00

Add net.tcp.connect and return bound port from net.tcp.listen #475

navicore referenced this pull request

2026-05-13 23:03:33 +00:00