Differences

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

--- language:migrate [2022/02/05 11:41]
rajit [Channel and data type bodies]
+++ language:migrate [2022/05/13 11:22]
rajit [Parameters]
@@ Line 21: / Line 21: @@
 The old ACT only had single-assignment parameters. So
-<code>
+<code act>
 pint x;
@@ Line 28: / Line 28: @@
 </code>
 would result in an error. This was sometimes used to implement assertions. For example, if a parameter ''x'' was supposed to be twice another parameter ''y'', then
-<code>
+<code act>
 x=2*y;
 </code>
@@ Line 34: / Line 34: @@
 The new ACT supports [[language:connections|mutable parameter]] variables in restricted contexts. To support the assertion feature, the new ACT supports explicit assertions. We use Hoare's syntax, and so the assertion  specified earlier would be written
-<code>
+<code act>
 {x=2*y};
 </code>
 If a more meaningful message is required, the following syntax is also supported:
-<code>
+<code act>
 {x=2*y : "This assertion failed"};
 </code>