--- a/stage3/print_datatypes_error.cc Thu May 10 15:40:19 2012 +0100
+++ b/stage3/print_datatypes_error.cc Thu May 10 16:09:50 2012 +0100
@@ -31,11 +31,18 @@
*
*/
+/* NOTE: The algorithm implemented here assumes that the symbol_c.candidate_datatype, and the symbol_c.datatype
+ * annotations have already been apropriately filled in!
+ * BEFORE running this visitor, be sure to CALL the fill_candidate_datatypes_c, and the narrow_candidate_datatypes_c visitors!
+ */
+
/*
- * Fill candidate list of data types for all symbols
+ * By analysing the candidate datatype lists, as well as the chosen datatype for each expression, determine
+ * if an datatype error has been found, and if so, print out an error message.
*/
+
#include "print_datatypes_error.hh"
#include "datatype_functions.hh"