Ticket #3018 (closed bug: fixed)
Constraints of function in record appears to nullifiy instance constraints.
|Reported by:||ben.kavanagh||Owned by:||simonpj|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||typecheck/should_compile/T3018||Blocked By:|
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.