/test/language/error_warning_msg/bad_export2.msg

 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------