@hackage / ghc-plugs-out

Type checker plugins without the type checking.

Latest2.0.0.0

About

Metadata

  • Last updated , by philderbeast
  • License MPL-2.0

  • Maintained by: phil.dejoux@blockscope.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.2.2
  2. 9.0.2
  3. 8.10.7
  4. 8.8.4
  5. 8.6.5
  6. 8.4.4
  7. 8.2.2

Readme

A plugs-out spacecraft has no cables or umbilicals connected. The plugins in this package are plugs-out in the sense that they do no type checking.

The test suites in this package show how type checker plugins interact with GHC depending on:

  • their purity

  • how they're wired up

  • what options they see

  • whether GHC needs help type checking