Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
C
compiler
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 18
    • Issues 18
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Operations
    • Operations
    • Incidents
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • clean-compiler-and-rts
  • compiler
  • Issues
  • #69

Closed
Open
Opened Jun 03, 2020 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
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: clean-compiler-and-rts/compiler#69