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

12 Commits

Author SHA1 Message Date
lilleman 72a6ef9071 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
Tests / vet + fmt + tests (pull_request) Successful in 1m2s
Tests / vet + fmt + tests (push) Successful in 7s
2026-09-15 21:44:36 +02:00
lilleman 1e60d52e48 Tests: a typed column read whose values hold the datatype declared beside it names the typed spelling 2026-09-15 21:43:09 +02:00
lilleman 72fe01e89b 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
Tests / vet + fmt + tests (pull_request) Successful in 1m3s
2026-09-15 21:28:52 +02:00
lilleman c991f35f4f 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 2026-09-15 21:27:19 +02:00
lilleman acad25708a 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
Tests / vet + fmt + tests (pull_request) Successful in 1m3s
2026-09-15 21:13:34 +02:00
lilleman f781fa47d1 Tests: an item beside a typed column read that can hold its datatype keeps the object-form advice 2026-09-15 21:12:21 +02:00
lilleman bc4280561e 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 2026-09-15 21:10:36 +02:00
lilleman 2a750008bf Tests: name the struct test for a field tagged with a column as that column
Tests / vet + fmt + tests (pull_request) Successful in 1m2s
2026-09-15 20:48:12 +02:00
lilleman b4ebab5abf 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
Tests / vet + fmt + tests (pull_request) Successful in 1m3s
2026-09-15 20:42:13 +02:00
lilleman 04a75f7ded Tests: a JSON-string item reading a string column keeps the advice naming its object form 2026-09-15 20:38:35 +02:00
lilleman 2b2010bdd6 Take the datatype and null of the column a lone reference reads, and check a column's datatypes once its references are linked
Tests / vet + fmt + tests (pull_request) Successful in 1m3s
2026-09-15 20:20:25 +02:00
lilleman 802f62a4de 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 2026-09-15 20:17:07 +02:00