/test/language/error_warning_msg/bad_manifest_array2.msg

http://github.com/tybor/Liberty · 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
    2. 

  2. mind that `Void' is just a way to denote the default value for
    3. 

  3. a type or to denote the lack of an object. One can use `Void'
    4. 

  4. as the right-hand-side of an assignment or to replace some actual
    5. 

  5. argument. (See "http://wiki.liberty-eiffel.org/index.php/Void"
    6. 

  6. for details.) At time being, the type ANY will be used for this
    7. 

  7. occurrence `Void'. Please update your code with a more accurate
    8. 

  8. expression, may be by adding an extra non-initialized local variable.
    9. 

  9. 

  10. Line 12 column 24 in BAD_MANIFEST_ARRAY2 (/home/et/Liberty/test/language/error_warning_msg/bad_manifest_array2.e):
    11. 

  11.          if (<< Void , Void >>) = Void then
    12. 

  12.                        ^                   
    13. 

  13. ------
    14. 

  14. ****** Fatal Error: Cannot create an ARRAY with only `Void' items.
    15. 

    16. 

  16. Line 12 column 14 in BAD_MANIFEST_ARRAY2 (/home/et/Liberty/test/language/error_warning_msg/bad_manifest_array2.e):
    17. 

  17.          if (<< Void , Void >>) = Void then
    18. 

  18.              ^                             
    19. 

  19. ------
    20.