Changes between Version 44 and Version 45 of Language

Timestamp:

05/22/23 09:25:55 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -833 +833 @@
 === The `depends_on` clause #depends_on
 
-A depends_on clause has the form
+A depends_on clause may be used with a system or atomic function and has the form
   `depends_on` ( `\nothing` | ''access-list'' ) `;`
 where ''access-list'' has the form
   `\access` `(` ''expr'' ( `,` ''expr'' )* `)`
-Each expression in the access list should have a pointer type.
+Each expression in the access list shall have a pointer type.
 
 The clause specifies the dependency relation for the system or atomic function.