From 8ceb48a4e60b8ff89f28372da4f66cd152e2e0fe Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Mon, 13 Jul 2026 23:59:36 +0200
Subject: Change record constructor syntax

---
 doc/type-system.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/type-system.tex')

diff --git a/doc/type-system.tex b/doc/type-system.tex
index e1497be..102b0e4 100644
--- a/doc/type-system.tex
+++ b/doc/type-system.tex
@@ -65,7 +65,7 @@ end.
 
 <procedure-heading> = `(' [<parameter> \{`;' <parameter>\}] `)' <return-declaration>.
 
-<procedure-body> = <constant-part> <variable-part> <statement-part> `end'.
+<procedure-body> = <constant-part> <variable-part> <statement-part> [`return' <expression>] `end'.
 
 <procedure-declaration> = `proc' <identifier-definition> <procedure-heading> \\
 	(<procedure-body> | `extern').
@@ -109,7 +109,7 @@ type
 var
   u: U;
 begin
-  u := U(0, 1, 2);
+  u := U{x: 0, y: 1, z: 2};
   u.x := 3
 end.
 \end{lstlisting}
-- 
cgit v1.2.3

