Implement typechecker plugins

Authored by adamgundry on Nov 20 2014, 7:32 AM.

Description

Implement typechecker plugins

Summary:
See https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker

This is based on work by Iavor Diatchki and Eric Seidel.

Test Plan: validate

Reviewers: simonpj, austin

Reviewed By: austin

Subscribers: gridaphobe, yav, thomie, carter

Differential Revision: https://phabricator.haskell.org/D489

Conflicts:
docs/users_guide/7.10.1-notes.xml

Details

Committed
adamgundryNov 20 2014, 10:54 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Reviewer
austin
Differential Revision
D489: Implement typechecker plugins
Parents
rGHCDIFFcce6318e8fdb: Add support for pattern synonym type signatures. Syntax is of the form
Branches
Unknown
Tags
Unknown