Fill in the 'datatype' anotation in the identifiers of symbolic variables.
authormjsousa
Thu, 22 Aug 2013 16:53:17 +0100
changeset 843 f9a059c24aea
parent 842 2415912b0aa0
child 844 39c755f41ee8
Fill in the 'datatype' anotation in the identifiers of symbolic variables.
(even though currently it is not being used).
stage3/narrow_candidate_datatypes.cc
stage3/narrow_candidate_datatypes.hh
--- a/stage3/narrow_candidate_datatypes.cc	Thu Aug 22 16:51:22 2013 +0100
+++ b/stage3/narrow_candidate_datatypes.cc	Thu Aug 22 16:53:17 2013 +0100
@@ -649,7 +649,11 @@
 /*********************/
 /* B 1.4 - Variables */
 /*********************/
-
+// SYM_REF1(symbolic_variable_c, var_name)
+void *narrow_candidate_datatypes_c::visit(symbolic_variable_c *symbol) {
+	symbol->var_name->datatype = symbol->datatype;
+	return NULL;
+}
 /********************************************/
 /* B 1.4.1 - Directly Represented Variables */
 /********************************************/
--- a/stage3/narrow_candidate_datatypes.hh	Thu Aug 22 16:51:22 2013 +0100
+++ b/stage3/narrow_candidate_datatypes.hh	Thu Aug 22 16:53:17 2013 +0100
@@ -182,6 +182,7 @@
     /*********************/
     /* B 1.4 - Variables */
     /*********************/
+    void *visit(symbolic_variable_c *symbol);
     /********************************************/
     /* B 1.4.1 - Directly Represented Variables */
     /********************************************/