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 72
    • Issues 72
    • 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
  • #67
Closed
Open
Created Nov 18, 2019 by Finn Teegen@fteMaintainer

Use explicit ForallTypes in FlatCurry representation

In the FlatCurry representation, the two functions

id :: a -> a

and

id :: forall a. a -> a

should have the same normalized representation that uses the ForallType constructor in both cases.

In general, type variable quantification should be explicit in the FlatCurry representation and type should be in weak prenex form.

Edited Nov 18, 2019 by Finn Teegen
Assignee
Assign to
Time tracking