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

/test/language/error_warning_msg/bad_eq5.msg

http://github.com/tybor/Liberty
Unknown | 9 lines | 8 code | 1 blank | 0 comment | 0 complexity | 4cde9da766cad46b1194e8cb5545f3ff MD5 | raw file
1****** Fatal Error: An expanded value can be compared only with
2the same other expanded value. Expression `integer_64' is of type
3INTEGER_64 while expression `real_64' is of type REAL_64. Comparison
4not allowed (VWEQ).
5
6Line 15 column 24 in BAD_EQ5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_eq5.e):
7         if integer_64 = real_64 then -- Yes, rejected because we must truncate_to_real_64 !
8                       ^                                                                    
9------