go: parse.sx — slice/array/map/chan type expressions + 11 tests; parse acceptance crossed [proposes-ast]
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 18s

Adds the bulk of Go's type-expression grammar:
  []T         →  (list :ty-slice T)
  [N]T        →  (list :ty-array N T)         — N is an expr
  map[K]V     →  (list :ty-map K V)
  chan T      →  (list :ty-chan :both T)
  chan<- T    →  (list :ty-chan :send T)
  <-chan T    →  (list :ty-chan :recv T)

gp-parse-type now dispatches on the head token: *, [, map, chan, <-,
or ident; each branch recurses for nested types. Channel direction
is encoded as :both / :send / :recv (Go-specific tag).

Coverage: nested types end-to-end — []*T, [][]int, map[string][]int,
chan map[K]V, *[]int — all via the v.(T) assertion carrier.

Logged a concrete kit-gap proposal in plans/go-on-sx.md Blockers for
canonical type-node shapes. The first six (:ty-name, :ty-sel, :ty-ptr,
:ty-slice, :ty-array, :ty-map) are universal across statically-typed
guests and worth promoting on the next consumer; channel/func shapes
stay guest-specific until a second user.

Phase 2 parse acceptance bar (80+ tests) crossed: parse 81/81, total
210/210. Func / struct / interface types and full decls + stmts still
keep Phase 2 open.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This commit is contained in:
2026-05-27 08:02:08 +00:00
parent 503bdf12d6
commit 8ba66e0dc9
5 changed files with 161 additions and 16 deletions

View File

@@ -363,6 +363,79 @@
(list :assert (ast-var "v") (list :ty-name "int"))
(ast-literal "1"))))
(go-parse-test
"ty: []int (slice)"
(go-parse "v.([]int)")
(list :assert (ast-var "v") (list :ty-slice (list :ty-name "int"))))
(go-parse-test
"ty: [10]int (array)"
(go-parse "v.([10]int)")
(list
:assert (ast-var "v")
(list :ty-array (ast-literal "10") (list :ty-name "int"))))
(go-parse-test
"ty: map[string]int"
(go-parse "v.(map[string]int)")
(list
:assert (ast-var "v")
(list :ty-map (list :ty-name "string") (list :ty-name "int"))))
(go-parse-test
"ty: chan int (bidirectional)"
(go-parse "v.(chan int)")
(list :assert (ast-var "v") (list :ty-chan :both (list :ty-name "int"))))
(go-parse-test
"ty: chan<- int (send-only)"
(go-parse "v.(chan<- int)")
(list :assert (ast-var "v") (list :ty-chan :send (list :ty-name "int"))))
(go-parse-test
"ty: <-chan int (recv-only)"
(go-parse "v.(<-chan int)")
(list :assert (ast-var "v") (list :ty-chan :recv (list :ty-name "int"))))
(go-parse-test
"ty: []*T (slice of pointers)"
(go-parse "v.([]*T)")
(list
:assert (ast-var "v")
(list :ty-slice (list :ty-ptr (list :ty-name "T")))))
(go-parse-test
"ty: [][]int (slice of slice)"
(go-parse "v.([][]int)")
(list
:assert (ast-var "v")
(list :ty-slice (list :ty-slice (list :ty-name "int")))))
(go-parse-test
"ty: map[string][]int (map with slice value)"
(go-parse "v.(map[string][]int)")
(list
:assert (ast-var "v")
(list
:ty-map (list :ty-name "string")
(list :ty-slice (list :ty-name "int")))))
(go-parse-test
"ty: chan map[K]V (chan of map type)"
(go-parse "v.(chan map[K]V)")
(list
:assert (ast-var "v")
(list
:ty-chan :both
(list :ty-map (list :ty-name "K") (list :ty-name "V")))))
(go-parse-test
"ty: *[]int (pointer to slice)"
(go-parse "v.(*[]int)")
(list
:assert (ast-var "v")
(list :ty-ptr (list :ty-slice (list :ty-name "int")))))
(go-parse-test "non-primary: '+'" (go-parse "+") nil)
(go-parse-test "non-primary: empty" (go-parse "") nil)