The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Incorrect error message for inconsistently attribution in classes
The following code:
module test
class C m :: v:m -> u:mGives the error:
Error [test.icl,2,C]: u inconsistently attributed (3)While it should be:
Error [test.icl,2,C]: m inconsistently attributed (3)It only happens when using type attribute variable. The following program:
module test
class C m :: m -> *mcorrectly reports:
Error [test.icl,2,C]: m inconsistently attributed (5)