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
  • #58

Closed
Open
Opened Nov 14, 2019 by Camil Staps@cstaps🚀Developer

Multiply defined error for instances of types imported qualifiedly

It seems to be impossible to instantiate a class for two types that are imported qualifiedly. The following causes a "multiply defined" error on the current stable/itask compiler:

module inst

class c a :: a

instance c 'inst_a'.A where c = 'inst_a'.A
instance c 'inst_a'.B where c = 'inst_a'.B
definition module inst_a

:: A = A
:: B = B
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#58