/test/language/error_warning_msg/bad_manifest_array2.msg
Unknown | 19 lines | 17 code | 2 blank | 0 comment | 0 complexity | c221719d5ddea6627cae52827f491d3e MD5 | raw file
1****** Warning: Actually, `Void' has no accurate type. Keep in 2mind that `Void' is just a way to denote the default value for 3a type or to denote the lack of an object. One can use `Void' 4as the right-hand-side of an assignment or to replace some actual 5argument. (See "http://wiki.liberty-eiffel.org/index.php/Void" 6for details.) At time being, the type ANY will be used for this 7occurrence `Void'. Please update your code with a more accurate 8expression, may be by adding an extra non-initialized local variable. 9 10Line 12 column 24 in BAD_MANIFEST_ARRAY2 (/home/et/Liberty/test/language/error_warning_msg/bad_manifest_array2.e): 11 if (<< Void , Void >>) = Void then 12 ^ 13------ 14****** Fatal Error: Cannot create an ARRAY with only `Void' items. 15 16Line 12 column 14 in BAD_MANIFEST_ARRAY2 (/home/et/Liberty/test/language/error_warning_msg/bad_manifest_array2.e): 17 if (<< Void , Void >>) = Void then 18 ^ 19------