/test/language/error_warning_msg/bad_constraint3.msg
Unknown | 23 lines | 19 code | 4 blank | 0 comment | 0 complexity | e33919506a9a303f1369530427f0656b MD5 | raw file
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------