diff -r a75e3aea98ff -r 3c39d80fdede stage3/print_datatypes_error.cc
--- 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"