PageRenderTime 7ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 1ms

/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(VAOL.2).
3
4The source lines relevant to this message are the following:
5
6Line 13 columns 30, 39 in BAD_OLD1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old1.e):
7         illegal_assert: i = old (1 + old i)
8                             ^        ^     
9------