Skip to content
GitLab
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 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
    • Requirements
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Incidents
  • 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
  • Alex D
  • GHCGHC
  • Repository
Switch branch/tag
  • ghc
  • compiler
  • vectorise
  • VectMonad.hs
Find file BlameHistoryPermalink
  • simonpj@microsoft.com's avatar
    Super-monster patch implementing the new typechecker -- at last · d2ce0f52
    simonpj@microsoft.com authored Sep 13, 2010
    This major patch implements the new OutsideIn constraint solving
    algorithm in the typecheker, following our JFP paper "Modular type
    inference with local assumptions".  
    
    Done with major help from Dimitrios Vytiniotis and Brent Yorgey.
    d2ce0f52