--- a/absyntax_utils/get_datatype_info.cc Sun Nov 16 12:54:10 2014 +0000
+++ b/absyntax_utils/get_datatype_info.cc Sun Nov 16 14:46:52 2014 +0000
@@ -43,7 +43,7 @@
*/
#include "absyntax_utils.hh"
-#include "../main.hh" // required for ERROR() and ERROR_MSG() macros.
+#include "../main.hh" // required for ERROR() and ERROR_MSG() macros, as well as the runtime_options global variable
@@ -576,14 +576,13 @@
}
// check for same datatype
- if (first_type == second_type) {return true;}
+ if (first_type == second_type) {return true;}
// remaining type equivalence rules are not applied in the strict datatype model
- //if (!option...relaxed_datatypemodel)
- //return false;
+ if (false == runtime_options.relaxed_datatype_model) {return false;}
// check for array equivalence usig the relaxed datatype model
- if (is_arraytype_equal_relaxed(first_type, second_type)) {return true;}
+ if (is_arraytype_equal_relaxed(first_type, second_type)) {return true;}
return false;
}