Differences

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

--- language:controlflow [2019/04/18 14:25]
rajit [Selections]
+++ language:controlflow [2020/12/02 01:00]
127.0.0.1 external edit
@@ 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 110: / Line 110: @@
 the operators less than, less than or equal to, greater than, greater
 than or equal to, equal to, and not equal to respectively.
+===== Recursion =====
+Type definitions can be recursive. For instance, the following
+definition can be used to create a tree structure.
+<code>
+template<pint N>
+defproc tree (bool a[N])
+{
+  [ 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]);
+  ]
+}
+</code>