Constraints of function in record appears to nullifiy instance constraints.
|Reported by:||ben.kavanagh||Owned by:||simonpj|
|Type of failure:||None/Unknown||Test Case:||typecheck/should_compile/T3018|
|Related Tickets:||Differential Rev(s):|
If an field of a record that has constraints in its type, defining a value for this field appears to cause the compiler to ignore outer level constraints declared for an instance.
This problem restricts generic functions written in syb-with-class and replib style to functions that do not have constraints.
Change History (5)
comment:2 Changed 6 years ago by
|Test Case:||→ typecheck/should_compile/T3018|
|Type of failure:||→ None/Unknown|