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

[ compiler-plugin, library, mpl ] [ Propose Tags ] [ Report a vulnerability ]

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

library ghc-plugs-out:call-count-plugin

library ghc-plugs-out:undefined-stop-plugin

Modules

[Index] [Quick Jump]

library ghc-plugs-out:undefined-solve-plugin

Modules

[Index] [Quick Jump]

library ghc-plugs-out:undefined-init-plugin

Modules

[Index] [Quick Jump]

library ghc-plugs-out:no-op-plugin

Downloads

Maintainer's Corner

Package maintainers

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]
Tested with ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.2
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
Downloads 283 total (4 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]