/test/language/error_warning_msg/bad_export2.msg
Unknown | 17 lines | 14 code | 3 blank | 0 comment | 0 complexity | ffafb922da429fb7a7c35721210cd50b MD5 | raw file
1****** Error: Forbidden call (i.e. exportation rules violated) when the type of Current is BAD_EXPORT2. (See the next error report for details.) 2 3Line 15 column 14 in BAD_EXPORT2 (/home/r/Liberty/test/language/error_warning_msg/bad_export2.e): 4 aux.foo; 5 ^ 6------ 7****** Fatal Error: This feature is only exported to {}. 8 9The source lines relevant to this message are the following: 10 11Line 6 column 9 in AUX_EXPORT2A (/home/r/Liberty/test/language/error_warning_msg/aux_export2a.e): 12feature {} 13 ^ 14Line 7 column 4 in AUX_EXPORT2A (/home/r/Liberty/test/language/error_warning_msg/aux_export2a.e): 15 foo do end; 16 ^ 17------