Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
GHC
GHC
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 4,333
    • Issues 4,333
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 370
    • Merge Requests 370
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Security & Compliance
    • Security & Compliance
    • Dependency List
    • License Compliance
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Glasgow Haskell Compiler
  • GHCGHC
  • Wiki
  • quantified constraints

quantified constraints · History

Page version Author Changes Last updated
326345f6 Ben Gamari Update quantified constraints Apr 01, 2019
56738617 Ben Gamari Rewrite superfluous issue links Many issues in the wiki were unnecessarily links: ``` ... patch posted in [\#1346](https://gitlab.haskell.org/ghc/ghc/issues/1346). ``` This rewrites these as `#1346` using ```bash sed -i -r -e 's/\[\\#([0-9]+)\]\([^)]+\/\1\)/#\1/g' $(find -iname '*.md') ``` And manually eyeballing the result. Apr 01, 2019
6530fd1d Tobias Dammers Fix markdown link syntax Mar 29, 2019
cc1a7a6a Tobias Dammers Re-run import Mar 29, 2019
8d2d9a9f Tobias Dammers Remove leading space from markdown link labels Mar 14, 2019
dd6ba76e bgamari Edit QuantifiedConstraints Jun 08, 2018
0856f783 Simon Peyton Jones Edit QuantifiedConstraints Feb 23, 2018
9c32e627 Simon Peyton Jones Edit QuantifiedConstraints Jan 31, 2018
2ee0977e Simon Peyton Jones Edit QuantifiedConstraints Jan 27, 2018
ed3226e8 Simon Peyton Jones Edit QuantifiedConstraints Jan 02, 2018
79d3b155 Simon Peyton Jones Edit QuantifiedConstraints Aug 01, 2017
Clone repository

GHC Home
GHC User's Guide

Joining In

Newcomers info
Mailing Lists & IRC
The GHC Team

Documentation

GHC Status Info
Working conventions
Building Guide
Debugging
Commentary

Wiki

Title Index
Recent Changes