PageRenderTime 5ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 2ms app.codeStats 0ms

/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
 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------