Changes between Version 117 and Version 118 of IR2

Timestamp:

06/04/21 09:16:36 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -295 +295 @@
   * `$fresh` and `$new` consume an argument of type `$type<T>` and return a value of type `T`.  For `$new`, the argument must specify a complete type.  Fresh accepts any type name.
 
+Example: C code
+{{{
+typedef T mat[n][m];
+mat a;
+
+}}}
+might be translated
+{{{
+typedef T mat[][];
+$type<mat> _type_mat = $typeof(T[n][m]);
+mat a = $new(_type_mat);
+
+}}}
+
 
 === How to implement `$defined` using symbolic execution ===