A column of one reference alone takes the datatype and null of the column it reads #15

Merged

lilleman merged 12 commits from reference-inheritance into main 2026-09-15 21:46:18 +02:00

Conversation 0 Commits 12 Files Changed 15

+465 -116

lilleman commented 2026-09-15 20:20:42 +02:00

Owner

Copy Link

Copy Source

A record column, inline record column or struct field that is one reference alone to another record's column now takes that column's datatype and null. A datatype restating a typed column is refused; over a string column it still types the values. Column datatype agreement moved from compile to the linked-tree fences.

A record column, inline record column or struct field that is one reference alone to another record's column now takes that column's datatype and null. A datatype restating a typed column is refused; over a string column it still types the values. Column datatype agreement moved from compile to the linked-tree fences.

lilleman added 2 commits 2026-09-15 20:20:43 +02:00

Tests: a column of one reference alone takes the datatype and null of the column it reads, in records and structs, and a datatype restating it is refused 802f62a4de

Take the datatype and null of the column a lone reference reads, and check a column's datatypes once its references are linked 2b2010bdd6

lilleman added 2 commits 2026-09-15 20:42:23 +02:00

Tests: a JSON-string item reading a string column keeps the advice naming its object form 04a75f7ded

Keep a read's null with its draw, share the lone-reference check, name a JSON-string item's object form again, prove each column once per pass, and read a record off template.record b4ebab5abf

lilleman added 1 commit 2026-09-15 20:48:15 +02:00

Tests: name the struct test for a field tagged with a column as that column 2a750008bf

lilleman added 3 commits 2026-09-15 21:13:37 +02:00

Tests: a struct column need not agree on a datatype, text beside a typed column read names its text spelling, a column read is reported before its reader, and column reads through a dot, a choice and an always-null column bc4280561e

Tests: an item beside a typed column read that can hold its datatype keeps the object-form advice f781fa47d1

Leave column agreement to the records that read DataType, name the text spelling beside a typed column read, and check a column after the columns it reads acad25708a

lilleman added 2 commits 2026-09-15 21:28:54 +02:00

Tests: another datatype over a column read types it where the values prove it, and datatypes taken from column reads name the text spelling, keeping an item's weight c991f35f4f

Refuse only a datatype restating the column read, name the text spelling for datatypes taken from column reads keeping an item's other keys, and keep the fence Decision true 72fe01e89b

lilleman added 2 commits 2026-09-15 21:44:39 +02:00

Tests: a typed column read whose values hold the datatype declared beside it names the typed spelling 1e60d52e48

Name the typed spelling for a column read whose values hold the datatype beside it, and say holding for a datatype taken from a column read 72a6ef9071

lilleman marked the pull request as ready for review 2026-09-15 21:46:13 +02:00

lilleman merged commit 72a6ef9071 into main 2026-09-15 21:46:18 +02:00

lilleman deleted branch reference-inheritance 2026-09-15 21:46:18 +02:00

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

No items

No Label

Milestone

No items

No Milestone

Assignees

Clear assignees

claes.eismar.se lilleman (Lilleman auf Larv) martin.siden

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: larvit/fejkdata#15