/test/language/error_warning_msg/bad_loop2.msg

http://github.com/tybor/Liberty · Unknown · 15 lines · 12 code · 3 blank · 0 comment · 0 complexity · 8ebbb6c5f2c731b2a8d46455003a69c3 MD5 · raw file 

    

  1. ****** Error: Expression of the loop variant must be of INTEGER
    2. 

  2. type. (The actual BOOLEAN type is not allowed as a variant type.)
    3. 

  3. 

  4. Line 14 column 13 in BAD_LOOP2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_loop2.e):
    5. 

  5.             True
    6. 

  6.             ^   
    7. 

  7. ------
    8. 

  8. ****** Fatal Error: Error in variant part of loop definition.
    9. 

  9. 

  10. The source lines relevant to this message are the following:
    11. 

  11. 

  12. Line 14 column 13 in BAD_LOOP2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_loop2.e):
    13. 

  13.             True
    14. 

  14.             ^   
    15. 

  15. ------
    16.