Differences

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

--- language:controlflow [2019/04/18 18:25] – [Selections] rajit
+++ language:controlflow [2020/12/02 06:00] – external edit 127.0.0.1
@@ Line 97: / Line 97: @@
 <code>
 (i : 32 :
-    [ i = 0 -> r0(in[i],out[i],control)
+    [ i = 0 -> r0(in[i],out[i],control);
-   [] else -> r[i](in[i],out[i],control)
+   [] else -> r[i](in[i],out[i],control);
     ]
 )
@@ Line 120: / Line 120: @@
 defproc tree (bool a[N])
 {
-  [ N = 1 -> leaf l(a[0])
+  [ N = 1 -> leaf l(a[0]);
  [] N > 1 -> tree<N/2> t0(a[0..N/2-1]);
-             tree<N-N/2> t1(a[N/2..N-1])
+             tree<N-N/2> t1(a[N/2..N-1]);
   ]
 }