/test/language/error_warning_msg/bad_constraint3.msg

 1****** Error: Actual generic derivation ANY must insert STRING
 2which is the generic constraint.
 3
 4The source lines relevant to this message are the following:
 5
 6Line 14 column 15 in BAD_CONSTRAINT3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint3.e):
 7         loc: AUX_CONSTRAINT3[STRING,ANY]
 8              ^                          
 9Line 4 column 33 in AUX_CONSTRAINT3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint3.e):
10class AUX_CONSTRAINT3[X_, Y_ -> X_]
11                                ^  
12------
13****** Fatal Error:  Constraint Generic Violation.
14
15The source lines relevant to this message are the following:
16
17Line 14 column 15 in BAD_CONSTRAINT3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint3.e):
18         loc: AUX_CONSTRAINT3[STRING,ANY]
19              ^                          
20Line 4 column 27 in AUX_CONSTRAINT3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint3.e):
21class AUX_CONSTRAINT3[X_, Y_ -> X_]
22                          ^        
23------