Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 4,970
    • Issues 4,970
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 475
    • Merge requests 475
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell Compiler
  • GHCGHC
  • Merge requests
  • !1659

WIP: Impredicativity based on quick look

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed Alejandro Serrano Mena requested to merge trupill/ghc:quick-look into master Sep 04, 2019
  • Overview 55
  • Commits 46
  • Pipelines 24
  • Changes 15

This merge request revamps ImpredicativeTypes using a technique known as "quick look impredicativity".

For the first time, we think we have a solid, predictable implementation of impredicativity in GHC!

It's a development of our earlier paper, Guarded impredicative polymorphism (PLDI'18), which gives all the background and motivation. But our new approach is much, much, much simpler.

We do not yet have a proper paper that describes how it works, but we do have this working paper. It focuses on writing typing rules, and lacks lot of background, motivation, and explanation. But it's accurate, up to date, and (best of all) is fully implemented in this MR.

Edited Sep 05, 2019 by Simon Peyton Jones
Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: quick-look