/test/language/error_warning_msg/bad_constraint1.msg
Unknown | 23 lines | 19 code | 4 blank | 0 comment | 0 complexity | e28844c2555ff33621d925412843d08d MD5 | raw file
1****** Error: Actual generic derivation STRING must insert NUMERIC 2which is the generic constraint. 3 4The source lines relevant to this message are the following: 5 6Line 12 column 13 in BAD_CONSTRAINT1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint1.e): 7 a: AUX_CONSTRAINT_A[STRING] 8 ^ 9Line 4 column 30 in AUX_CONSTRAINT_A (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint_a.e): 10class AUX_CONSTRAINT_A[X_ -> NUMERIC] 11 ^ 12------ 13****** Fatal Error: Constraint Generic Violation. 14 15The source lines relevant to this message are the following: 16 17Line 12 column 13 in BAD_CONSTRAINT1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint1.e): 18 a: AUX_CONSTRAINT_A[STRING] 19 ^ 20Line 4 column 24 in AUX_CONSTRAINT_A (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint_a.e): 21class AUX_CONSTRAINT_A[X_ -> NUMERIC] 22 ^ 23------