Skip to content

GitLab

Closed
Opened by Mart Lubbers@mlubbersDeveloper

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