Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C compiler
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 15
    • Issues 15
    • List
    • Boards
    • Service Desk
    • Milestones
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • clean-compiler-and-rts
  • compiler
  • Repository
  • compiler
  • frontend
  • generics1.icl
Find file BlameHistoryPermalink
  • John van Groningen's avatar
    add type attributes for universally quantified variables generated in the generics1 module · 091f4fb2
    John van Groningen authored Dec 12, 2013
    to the list of all type attributes
    (not adding these type attributes caused a type error),
    this also happens for function types that are specified by the programmer,
    the universally quantified type variables are however not added to the list of all type variables
    091f4fb2