/test/language/error_warning_msg/bad_constraint1.msg
http://github.com/tybor/Liberty · Unknown · 23 lines · 19 code · 4 blank · 0 comment · 0 complexity · e28844c2555ff33621d925412843d08d MD5 · raw file
- ****** Error: Actual generic derivation STRING must insert NUMERIC
- which is the generic constraint.
- The source lines relevant to this message are the following:
- Line 12 column 13 in BAD_CONSTRAINT1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint1.e):
- a: AUX_CONSTRAINT_A[STRING]
- ^
- Line 4 column 30 in AUX_CONSTRAINT_A (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint_a.e):
- class AUX_CONSTRAINT_A[X_ -> NUMERIC]
- ^
- ------
- ****** Fatal Error: Constraint Generic Violation.
- The source lines relevant to this message are the following:
- Line 12 column 13 in BAD_CONSTRAINT1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint1.e):
- a: AUX_CONSTRAINT_A[STRING]
- ^
- Line 4 column 24 in AUX_CONSTRAINT_A (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint_a.e):
- class AUX_CONSTRAINT_A[X_ -> NUMERIC]
- ^
- ------