/test/language/error_warning_msg/bad_export4.msg

 1****** Error: Forbidden call (i.e. exportation rules violated) when the type of Current is BAD_EXPORT4. (See the next error report for details.)
 2
 3Line 15 column 14 in BAD_EXPORT4 (/home/r/Liberty/test/language/error_warning_msg/bad_export4.e):
 4         aux.foo;
 5             ^   
 6------
 7****** Fatal Error: This feature is only exported to {AUX_EXPORT4}.
 8
 9The source lines relevant to this message are the following:
10
11Line 6 column 10 in AUX_EXPORT4 (/home/r/Liberty/test/language/error_warning_msg/aux_export4.e):
12feature {AUX_EXPORT4}
13         ^           
14Line 7 column 4 in AUX_EXPORT4 (/home/r/Liberty/test/language/error_warning_msg/aux_export4.e):
15   foo
16   ^  
17------