ghc-tcplugins-extra: Utilities for writing GHC type-checker plugins
Utilities for writing GHC type-checker plugins, such as creating constraints, with a stable API covering multiple GHC releases.
[Skip to Readme]
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| deverror | Enables `-Werror` for development mode and TravisCI | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- ghc-tcplugins-extra-0.4.6.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.3, 0.3.1, 0.3.2, 0.4, 0.4.1, 0.4.2, 0.4.3, 0.4.4, 0.4.5, 0.4.6 (info) |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.8 && <5), ghc (>=7.10 && <9.12) [details] |
| Tested with | ghc ==8.0.2, 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.8, ghc ==9.4.7, ghc ==9.6.5, ghc ==9.8.2, ghc ==9.10.1 |
| License | BSD-2-Clause |
| Copyright | Copyright © 2015-2016, University of Twente, 2017-2018, QBayLogic |
| Author | Christiaan Baaij |
| Maintainer | christiaan.baaij@gmail.com |
| Category | Type System |
| Home page | https://github.com/clash-lang/ghc-tcplugins-extra#readme |
| Bug tracker | https://github.com/clash-lang/ghc-tcplugins-extra/issues |
| Source repo | head: git clone https://github.com/clash-lang/ghc-tcplugins-extra |
| Uploaded | by ChristiaanBaaij at 2024-05-22T13:41:30Z |
| Distributions | Arch:0.4.6, LTSHaskell:0.4.6, NixOS:0.4.6, Stackage:0.4.6 |
| Reverse Dependencies | 16 direct, 153 indirect [details] |
| Downloads | 18528 total (142 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2024-05-22 [all 1 reports] |
Readme for ghc-tcplugins-extra-0.4.6
[back to package description]ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
