/test/language/error_warning_msg/bad_old1.msg

http://github.com/tybor/Liberty · Unknown · 9 lines · 7 code · 2 blank · 0 comment · 0 complexity · e05e8d525ec799e1da5d98866c7297cc MD5 · raw file 

    

  1. ****** Fatal Error: Must not use old inside some old expression
    2. 

  2. (VAOL.2).
    3. 

  3. 

  4. The source lines relevant to this message are the following:
    5. 

  5. 

  6. Line 13 columns 30, 39 in BAD_OLD1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old1.e):
    7. 

  7.          illegal_assert: i = old (1 + old i)
    8. 

  8.                              ^        ^     
    9. 

  9. ------
    10.