Incorrect error message for inconsistently attribution in classes
The following code:
module test
class C m :: v:m -> u:m
Gives 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 -> *m
correctly reports:
Error [test.icl,2,C]: m inconsistently attributed (5)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information