Skip to content
GitLab
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 3
    • Merge requests 3
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • curry
  • curry-frontend
  • Merge requests
  • !18

Explicitly quantify free type variables of type signatures in FlatCurry

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed Jan-Hendrik Matthes requested to merge fcy-closed-types into master Nov 21, 2019
  • Overview 2
  • Commits 1
  • Pipelines 0
  • Changes 4

With this merge request the types of function definitions are now closed in the FlatCurry representation. This means that all type variables are explicitly universally quantified in the type.

Furthermore all types are now in prenex form.

Closes #67

Edited Nov 25, 2019 by Jan-Hendrik Matthes
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: fcy-closed-types