This wiki has undergone a migration to Confluence found Here
Datatypes R2 Issue 50
Jump to navigation
Jump to search
Data Types Issue 50: CD.original text demotion
Introduction
This constraint is wrong:
invariant(CD x)
where x.originalText.nonNull {
((ST)x).equal(x.originalText);
};
Discussion
it should be
invariant(CD x)
where x.originalText.nonNull {
((ED)x).equal(x.originalText);
};
Links
Back to Data Types R2 issues
