/test/language/error_warning_msg/bad_eq3.msg

http://github.com/tybor/Liberty · Unknown · 17 lines · 15 code · 2 blank · 0 comment · 0 complexity · d6ea50f8c9625aab88d655b191a85ca1 MD5 · raw file 

    

  1. ****** Error: Such a weird comparison with Void is not allowed
    2. 

  2. because it would be always False. (See explaination below.)
    3. 

  3. 

  4. Line 14 column 15 in BAD_EQ3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_eq3.e):
    5. 

  5.          if i = Void then
    6. 

  6.               ^          
    7. 

  7. ------
    8. 

  8. ****** Fatal Error: The declaration type of `i' is obviously expanded
    9. 

  9. (i.e. the written type mark is "INTEGER_32"). You can use the
    10. 

  10. Void comparison only when other type mark is a reference type
    11. 

  11. or, if it is an expanded type, it must be an anchor or some formal
    12. 

  12. generic argument. Fix this error first.
    13. 

    14. 

  14. Line 14 column 13 in BAD_EQ3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_eq3.e):
    15. 

  15.          if i = Void then
    16. 

  16.             ^            
    17. 

  17. ------
    18.