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 5,263
    • Issues 5,263
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 570
    • Merge requests 570
  • 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 CompilerGlasgow Haskell Compiler
  • GHCGHC
  • Wiki
  • Plugins
  • type checker

type checker · History

Page version Author Changes Last updated
dc8548cd Takenobu Tani
Clean up module paths after #13009 See also https://gitlab.haskell.org/ghc/ghc/-/wikis/Make-GHC-codebase-more-modular
Jun 11, 2020
e6a9cedd Simon Peyton Jones
Update type checker
May 28, 2019
13ee9668 Takenobu Tani
Update links for source code This fix using `sed -i -e 's#/trac/ghc/browser/ghc/#https://gitlab.haskell.org/ghc/ghc/blob/master/#g'`
Apr 14, 2019
b520bcd5 Ben Gamari
Update type checker
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
27dcc03a Tobias Dammers
Convert some code links
Mar 13, 2019
a9aa09ee Adam Gundry
Edit Plugins/TypeChecker
May 18, 2018
ae8c9cb6 Adam Gundry
Add list of issues matching TypeCheckerPlugins keyword
May 18, 2018
e5ed24e9 Adam Gundry
update status of Phab:D909 and make clear which changes have been implemented
Jun 01, 2015
4d31a7e8 Adam Gundry
thoughts about evidence
Jun 01, 2015
a66679fc goldfire
Edit Plugins/TypeChecker
May 27, 2015
f580d6ea Adam Gundry
embedding CoreExpr in EvTerm
May 27, 2015
c77bd2a7 Adam Gundry
Phab:D909
May 26, 2015
be6b41bd Adam Gundry
making TcPluginM wrap TcS turns out to be hard
May 26, 2015
a72bd78d Adam Gundry
propose additions to plugins API
May 26, 2015
d057ec2a Adam Gundry
some more applications
May 04, 2015
3850bf19 Adam Gundry
add applications section
Feb 28, 2015
  • Prev
  • 1
  • 2
  • Next
Clone repository Edit sidebar

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