GitLab

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)