Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • C curry-base
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 10
    • Issues 10
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • 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-base
  • Merge requests
  • !14

WIP: Add support for the `ScopedTypeVariables` language extension

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Jan-Hendrik Matthes requested to merge scoped-type-variables into master Dec 02, 2019
  • Overview 0
  • Commits 2
  • Changes 2

This merge request adds support for the ScopedTypeVariables language extension so that type variables can be lexically scoped when explicitly introduced with the forall keyword.

Edited Dec 02, 2019 by Jan-Hendrik Matthes
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: scoped-type-variables