A message's rows hold lists (Pure 027's 4a): a record holding lists is a message's rows as a let's, a stored and a transient list's; appending into the list of a message's row is refused (a message's rows are read alone), its diagnostic saying so; diagnostic 37 now that one

1 files changed, 2 insertions, 2 deletions

diff --git a/tests/check.py b/tests/check.py
index cc96c12..5a2a462 100644
--- a/tests/check.py
+++ b/tests/check.py
@@ -125,8 +125,8 @@ DIAGNOSTICS = [
      '    }\n  }\n}\n', '16:7', 'an arm after _ is never taken'),
     (JSON_M + 'state n = 0\non frame {\n  let xs: list of Json\n  let ms: list of M\n  xs.append(Json.arr(ms))\n}\n', '14:22',
      "'arr' holds a list of Json, not of M"),
-    (JSON_M + 'input m = message {\n  docs: list of Json\n}\non m {\n  require m.docs.count > 0\n}\n', '11:17',
-     "holds lists in its items: a message's rows do not, for now"),
+    (JSON_M + 'input m = message {\n  docs: list of Json\n}\non m {\n  for d in m.docs {\n    d.arr.append(Json.null)\n  }\n}\n',
+     '15:5', "not of a message's rows or one read from a record"),
     (JSON_M + 'state n = 0\non frame {\n  let ms: list of M\n  for m in ms {\n    n = m.value\n  }\n}\n', '14:9',
      "'value' holds a variant: match it"),
     ('record P {\n  x = 0\n}\nstate n = 0\non frame {\n  let ps: list of P\n  match ps.first {\n    _ => n = 1\n  }\n}\n', '7:9',