diff options
Diffstat (limited to 'doc/type-system.tex')
| -rw-r--r-- | doc/type-system.tex | 4 |
1 files changed, 2 insertions, 2 deletions
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} |