ghc-plugs-out: Type checker plugins without the type checking.

[ compiler-plugin, library, mpl ] [ Propose Tags ]

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.0.0.0, 2.0.0.0
Change log changelog.md
Dependencies base (>=4.10 && <5), ghc, ghc-corroborate, ghc-plugs-out, th-printf [details]
License MPL-2.0
Copyright © 2020-2022 Phil de Joux, © 2020-2022 Block Scope Limited
Author Phil de Joux
Maintainer phil.dejoux@blockscope.com
Category Compiler Plugin
Home page https://github.com/blockscope/ghc-plugs-out
Source repo head: git clone https://github.com/blockscope/ghc-plugs-out
Uploaded by philderbeast at 2022-06-10T17:22:38Z
Distributions NixOS:2.0.0.0
Downloads 147 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-06-10 [all 1 reports]