Differences

This shows you the differences between two versions of the page.

--- language:types2 [2026/08/07 09:54] – [Parameterized user-defined types] rajit
+++ language:types2 [2026/08/09 13:10] (current) – [Non-strict template parameters] rajit
@@ Line 484: / Line 484: @@
 Template parameters for processes can be of two types:
-   * //strict// parameters, are the ones we have been considering so far.
+   * //strict// parameters, which are the ones we have been considering so far. Elements of an array must have the same strict template parameters.
    * //non-strict// parameters, which can be varied within an array.
-Non-strict parameters are separate from strict parameters by a vertical bar. The example above would be written as follows:
+Non-strict parameters are separated from strict parameters by a vertical bar. The example above would be written as follows:
 <code act>
 template<pint W | pint VAL>
@@ Line 505: / Line 505: @@
 </code>
 ACT will allow this syntax. This comes with a few caveats:
-    * Any ports for the type can only use strict parameters.  In other words, the type signature can only depend on strict parameters. This is what permits different process types to be treated as a single array, since the external interface to the array elements remains unchanged. So
+    * Any ports for the type can only use strict parameters.  In other words, the type signature can only depend on strict parameters. This is what permits different process types to be mixed within a single array, since the external interface to the array elements remains unchanged. So<code act>
-<code act>
 template<pint W | pint VAL>
 defproc oddbuf(chan?(int<W>) L; chan!(int<W+VAL>) R)
@@ Line 512: / Line 511: @@
 ...
 }
-</code>
+</code>will lead to the following error<code>
-will lead to the following error
-<code>
 -[ERROR]-> Expressions in port parameter list can only use strict template parameters
 </code>
-   * The array will be treated as a sparse array with multiple chunks, each of which can have different non-strict parameters.
+   * Even if the array is dense, it will be treated as a sparse array with multiple chunks where each chunk can have different non-strict parameters.
    * Sub-array expressions cannot be used where different elements have different types.