Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • C curry-frontend
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 71
    • Issues 71
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 8
    • Merge requests 8
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • curry
  • curry-frontend
  • Issues
  • #107

Closed
Open
Created Nov 23, 2020 by Finn Teegen@fteMaintainer

Check which information of instances needs to be considered

Currently, the instance environment contains all implemented instance methods along with their arities. However, it seems as if the information about the arity is no longer needed. Only the interface check seems to compare the arities. Furthermore, there is a remark in the deriving check and the deriving transformation stating that the later generated instances have to match the arity entered in the instance environment. It is not clear whether this is still true.

Considering that the implemented methods in an instance do not affect the interface of a module, it might be unnecessary at all to save the implemented methods in the instance environment.

Edited Nov 23, 2020 by Finn Teegen
Assignee
Assign to
Time tracking