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