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

/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
 2because it would be always False. (See explaination below.)
 3
 4Line 14 column 15 in BAD_EQ3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_eq3.e):
 5         if i = Void then
 6              ^          
 7------
 8****** Fatal Error: The declaration type of `i' is obviously expanded
 9(i.e. the written type mark is "INTEGER_32"). You can use the
10Void comparison only when other type mark is a reference type
11or, if it is an expanded type, it must be an anchor or some formal
12generic argument. Fix this error first.
13
14Line 14 column 13 in BAD_EQ3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_eq3.e):
15         if i = Void then
16            ^            
17------