Document: referencing a kernel base type from a user ADT ctor field requires full qualification #65

New Issue

2026-06-02T13:23:49+02:00

Brummel commented

2026-06-02 13:23:49 +02:00

From series-step1 fieldtest (spec_gap). Bare Series works in type-position via kernel auto-import, but a user ADT whose ctor field references a kernel base type must fully-qualify it: (con raw_buf.RawBuf (con T)) checks, while bare (con RawBuf (con T)) is a type-mismatch and (own (RawBuf a)) in a field is a parse error. The kernel-tier series module itself uses bare (con RawBuf a) (works because it is kernel-tier and the element is a type variable). This asymmetry (bare type-position OK, bare ctor-field-ref not OK) is not stated on the public surface. Document the rule in model 0007 or contract 0002-data-model. Entry path: ratify / tighten ledger.

From series-step1 fieldtest (spec_gap). Bare `Series` works in type-position via kernel auto-import, but a user ADT whose ctor field references a kernel base type must fully-qualify it: `(con raw_buf.RawBuf (con T))` checks, while bare `(con RawBuf (con T))` is a type-mismatch and `(own (RawBuf a))` in a field is a parse error. The kernel-tier `series` module itself uses bare `(con RawBuf a)` (works because it is kernel-tier and the element is a type variable). This asymmetry (bare type-position OK, bare ctor-field-ref not OK) is not stated on the public surface. Document the rule in model 0007 or contract 0002-data-model. Entry path: ratify / tighten ledger.

Brummel referenced this issue from a commit

2026-06-02 15:57:52 +02:00

docs(examples): correct rbx_1 ctor-field qualification note

Brummel closed this issue

2026-06-02 15:57:52 +02:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Brummel/AILang#65