diff -r d228aaa4d616 -r 1ba7a814098d absyntax_utils/get_datatype_info.hh --- a/absyntax_utils/get_datatype_info.hh Fri Aug 08 10:26:52 2014 +0100 +++ b/absyntax_utils/get_datatype_info.hh Fri Aug 08 10:45:54 2014 +0100 @@ -62,11 +62,15 @@ static symbol_c *get_ref_to (symbol_c *type_symbol); // Defined in IEC 61131-3 v3 (returns the type that is being referenced/pointed to) - /* Returns true if both datatypes are identicial. - * WARING: When handling REF_TO datatypes, it may return 'true' even though - * the datatypes are not identicial. This occurs when at least one of the - * datatypes if a ref_to_any_c, which os equivalent to a (void *), and the - * other datatype is any REF_TO datatype (including a ref_to_any_c). + /* Returns true if both datatypes are equivalent (not necessarily equal!). + * WARNING: May return true even though the datatypes are not the same/identicial!!! + * This occurs when at least one of the datatypes is of a generic + * datatype (or a REF_TO a generic datatype). + * (Generic dataypes: ANY, ANY_INT, ANY_NUM, ...) + * NOTE: Currently only the ANY generic datatype is implemented! + * NOTE: Currently stage1_2 only allows the use of the ANY keyword when in conjuntion with + * the REF_TO keyword (i.e. REF_TO ANY), so when handling non REF_TO datatypes, + * this function will currently only return true if the dataypes are identicial. */ static bool is_type_equal(symbol_c *first_type, symbol_c *second_type); static bool is_type_valid(symbol_c *type);