packages feed

no-recursion 0.4.0.0 → 0.4.0.1

raw patch · 18 files changed

+219/−48 lines, 18 filesdep +ghc-compat-plugindep +henforcerdep ~basedep ~doctestdep ~ghcPVP ok

version bump matches the API change (PVP)

Dependencies added: ghc-compat-plugin, henforcer

Dependency ranges changed: base, doctest, ghc

API changes (from Hackage documentation)

Files

CHANGELOG.md view
@@ -5,6 +5,14 @@ The format is based on [Keep a Changelog 1.1](https://keepachangelog.com/en/1.1.0/), and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). +## [0.4.0.1] - 2026-07-12++### Added++- Support for GHC 9.2 & GHC 9.4+- `lint` flag+- Support for doctest-0.25 (only needed by tests)+ ## [0.4.0.0] – 2026-01-15  ### Added@@ -87,6 +95,7 @@  - Initial release of this package. +[0.4.0.1]: https://github.com/sellout/no-recursion/compare/v0.4.0.0...v0.4.1 [0.4.0.0]: https://github.com/sellout/no-recursion/compare/v0.3.0.0...v0.4.0.0 [0.3.0.0]: https://github.com/sellout/no-recursion/compare/v0.2.0.0...v0.3.0.0 [0.2.0.0]: https://github.com/sellout/no-recursion/compare/v0.1.2.3...v0.2.0.0
LICENSE view
@@ -1,5 +1,5 @@ LicenseListVersion: 3.27.0-SPDX-License-Identifier: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-commercial+SPDX-License-Identifier: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary  The individual licenses are included in files named “LICENSE.” with a suffix that matches each license’s identifier.
− LICENSE.commercial 
@@ -1,3 +0,0 @@-This software is available for commercial licensing with flexible terms.--Contact licensing@technomadic.org for more information.
+ LICENSE.proprietary view
@@ -0,0 +1,3 @@+This software is available for proprietary licensing with flexible terms.++Contact licensing@technomadic.org for more information.
README.md view
@@ -1,6 +1,6 @@ # NoRecursion plugin -[![Hackage Version](https://img.shields.io/hackage/v/no-recursion)](https://hackage.haskell.org/package/)+[![Hackage Version](https://img.shields.io/hackage/v/no-recursion)](https://hackage.haskell.org/package/no-recursion) [![Packaging status](https://repology.org/badge/tiny-repos/haskell:no-recursion.svg)](https://repology.org/project/haskell:no-recursion/versions) [![latest packaged versions](https://repology.org/badge/latest-versions/haskell:no-recursion.svg)](https://repology.org/project/haskell:no-recursion/versions)
docs/license-report.md view
@@ -9,37 +9,65 @@ | Name | Version | [SPDX](https://spdx.org/licenses/) License Id | Description | Also depended upon by | | --- | --- | --- | --- | --- | | **`base`** | [`4.20.0.0`](http://hackage.haskell.org/package/base-4.20.0.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/base-4.20.0.0/src/LICENSE) | Core data structures and operations | *(core library)* |-| **`ghc`** | [`9.10.1`](http://hackage.haskell.org/package/ghc-9.10.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-9.10.1/src/LICENSE) | The GHC API |  |+| **`ghc`** | [`9.10.1`](http://hackage.haskell.org/package/ghc-9.10.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-9.10.1/src/LICENSE) | The GHC API | `ghc-compat-plugin`, `henforcer`, `pollock` |+| `ghc-compat-plugin` | [`0.1.0.1`](http://hackage.haskell.org/package/ghc-compat-plugin-0.1.0.1) | [`AGPL-3.0-only`](http://hackage.haskell.org/package/ghc-compat-plugin-0.1.0.1/src/LICENSE.AGPL-3.0-only) | Eases support for multiple GHC versions |  |+| `henforcer` | [`1.0.0.1`](http://hackage.haskell.org/package/henforcer-1.0.0.1) | [`MIT`](http://hackage.haskell.org/package/henforcer-1.0.0.1/src/LICENSE) | GHC plugin to enforce user specified rules on code. |  |  ## Indirect transitive dependencies  | Name | Version | [SPDX](https://spdx.org/licenses/) License Id | Description | Depended upon by | | --- | --- | --- | --- | --- |-| **`array`** | [`0.5.7.0`](http://hackage.haskell.org/package/array-0.5.7.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/array-0.5.7.0/src/LICENSE) | Mutable and immutable arrays | `binary`, `containers`, `deepseq`, `ghc`, `ghci`, `stm` |-| **`binary`** | [`0.8.9.2`](http://hackage.haskell.org/package/binary-0.8.9.2) | [`BSD-3-Clause`](http://hackage.haskell.org/package/binary-0.8.9.2/src/LICENSE) | Binary serialisation for Haskell values using lazy ByteStrings | `ghc`, `ghc-boot`, `ghci` |-| **`bytestring`** | [`0.12.1.0`](http://hackage.haskell.org/package/bytestring-0.12.1.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/bytestring-0.12.1.0/src/LICENSE) | Fast, compact, strict and lazy byte strings with a list interface | `binary`, `filepath`, `ghc`, `ghc-boot`, `ghci`, `os-string`, `unix` |-| **`containers`** | [`0.7`](http://hackage.haskell.org/package/containers-0.7) | [`BSD-3-Clause`](http://hackage.haskell.org/package/containers-0.7/src/LICENSE) | Assorted concrete container types | `binary`, `ghc`, `ghc-boot`, `ghc-heap`, `ghci`, `hpc` |-| **`deepseq`** | [`1.5.0.0`](http://hackage.haskell.org/package/deepseq-1.5.0.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/deepseq-1.5.0.0/src/LICENSE) | Deep evaluation of data structures | `bytestring`, `containers`, `filepath`, `ghc`, `ghc-boot`, `ghci`, `hpc`, `os-string`, `pretty`, `process`, `time` |-| **`directory`** | [`1.3.8.3`](http://hackage.haskell.org/package/directory-1.3.8.3) | [`BSD-3-Clause`](http://hackage.haskell.org/package/directory-1.3.8.3/src/LICENSE) | Platform-agnostic library for filesystem operations | `ghc`, `ghc-boot`, `hpc`, `process` |+| `ansi-terminal` | [`1.1.5`](http://hackage.haskell.org/package/ansi-terminal-1.1.5) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ansi-terminal-1.1.5/src/LICENSE) | Simple ANSI terminal support | `prettyprinter-ansi-terminal` |+| `ansi-terminal-types` | [`1.1.3`](http://hackage.haskell.org/package/ansi-terminal-types-1.1.3) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ansi-terminal-types-1.1.3/src/LICENSE) | Types and functions used to represent SGR aspects | `ansi-terminal` |+| **`array`** | [`0.5.7.0`](http://hackage.haskell.org/package/array-0.5.7.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/array-0.5.7.0/src/LICENSE) | Mutable and immutable arrays | `attoparsec`, `binary`, `containers`, `deepseq`, `ghc`, `ghci`, `integer-logarithms`, `megaparsec`, `stm`, `text` |+| `attoparsec` | [`0.14.4`](http://hackage.haskell.org/package/attoparsec-0.14.4) | [`BSD-3-Clause`](http://hackage.haskell.org/package/attoparsec-0.14.4/src/LICENSE) | Fast combinator parsing for bytestrings and text | `pollock` |+| `attoparsec` | [`0.14.4`](http://hackage.haskell.org/package/attoparsec-0.14.4) | [`BSD-3-Clause`](http://hackage.haskell.org/package/attoparsec-0.14.4/src/LICENSE) | Fast combinator parsing for bytestrings and text | `attoparsec` |+| **`binary`** | [`0.8.9.2`](http://hackage.haskell.org/package/binary-0.8.9.2) | [`BSD-3-Clause`](http://hackage.haskell.org/package/binary-0.8.9.2/src/LICENSE) | Binary serialisation for Haskell values using lazy ByteStrings | `ghc`, `ghc-boot`, `ghci`, `scientific`, `text` |+| **`bytestring`** | [`0.12.1.0`](http://hackage.haskell.org/package/bytestring-0.12.1.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/bytestring-0.12.1.0/src/LICENSE) | Fast, compact, strict and lazy byte strings with a list interface | `attoparsec`, `binary`, `case-insensitive`, `filepath`, `ghc`, `ghc-boot`, `ghci`, `hashable`, `megaparsec`, `os-string`, `scientific`, `text`, `tomland`, `unix` |+| `case-insensitive` | [`1.2.1.0`](http://hackage.haskell.org/package/case-insensitive-1.2.1.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/case-insensitive-1.2.1.0/src/LICENSE) | Case insensitive string comparison | `megaparsec` |+| `clock` | [`0.8.4`](http://hackage.haskell.org/package/clock-0.8.4) | [`BSD-3-Clause`](http://hackage.haskell.org/package/clock-0.8.4/src/LICENSE) | High-resolution clock functions: monotonic, realtime, cputime. | `extra` |+| `colour` | [`2.3.7`](http://hackage.haskell.org/package/colour-2.3.7) | [`MIT`](http://hackage.haskell.org/package/colour-2.3.7/src/LICENSE) | A model for human colour/color perception | `ansi-terminal`, `ansi-terminal-types` |+| **`containers`** | [`0.7`](http://hackage.haskell.org/package/containers-0.7) | [`BSD-3-Clause`](http://hackage.haskell.org/package/containers-0.7/src/LICENSE) | Assorted concrete container types | `attoparsec`, `binary`, `ghc`, `ghc-boot`, `ghc-heap`, `ghci`, `hashable`, `henforcer`, `hpc`, `megaparsec`, `pollock`, `scientific`, `tomland` |+| **`deepseq`** | [`1.5.0.0`](http://hackage.haskell.org/package/deepseq-1.5.0.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/deepseq-1.5.0.0/src/LICENSE) | Deep evaluation of data structures | `attoparsec`, `bytestring`, `case-insensitive`, `containers`, `dlist`, `filepath`, `ghc`, `ghc-boot`, `ghci`, `hashable`, `hpc`, `megaparsec`, `os-string`, `pretty`, `primitive`, `process`, `scientific`, `text`, `time`, `tomland`, `unordered-containers`, `validation-selective` |+| **`directory`** | [`1.3.8.3`](http://hackage.haskell.org/package/directory-1.3.8.3) | [`BSD-3-Clause`](http://hackage.haskell.org/package/directory-1.3.8.3/src/LICENSE) | Platform-agnostic library for filesystem operations | `extra`, `filepattern`, `ghc`, `ghc-boot`, `hpc`, `process` |+| `dlist` | [`1.0`](http://hackage.haskell.org/package/dlist-1.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/dlist-1.0/src/license.md) | Difference lists | `henforcer` | | **`exceptions`** | [`0.10.7`](http://hackage.haskell.org/package/exceptions-0.10.7) | [`BSD-3-Clause`](http://hackage.haskell.org/package/exceptions-0.10.7/src/LICENSE) | Extensible optionally-pure exceptions | `filepath`, `ghc`, `os-string`, `semaphore-compat` |-| **`filepath`** | [`1.5.2.0`](http://hackage.haskell.org/package/filepath-1.5.2.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/filepath-1.5.2.0/src/LICENSE) | Library for manipulating FilePaths in a cross platform way. | `directory`, `ghc`, `ghc-boot`, `ghci`, `hpc`, `process`, `unix` |+| `extra` | [`1.8.1`](http://hackage.haskell.org/package/extra-1.8.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/extra-1.8.1/src/LICENSE) | Extra functions I use. | `filepattern` |+| **`filepath`** | [`1.5.2.0`](http://hackage.haskell.org/package/filepath-1.5.2.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/filepath-1.5.2.0/src/LICENSE) | Library for manipulating FilePaths in a cross platform way. | `directory`, `extra`, `filepattern`, `ghc`, `ghc-boot`, `ghci`, `hashable`, `hpc`, `process`, `unix` |+| `filepattern` | [`0.1.3`](http://hackage.haskell.org/package/filepattern-0.1.3) | [`BSD-3-Clause`](http://hackage.haskell.org/package/filepattern-0.1.3/src/LICENSE) | File path glob-like matching | `henforcer` | | **`ghc-bignum`** | [`1.3`](http://hackage.haskell.org/package/ghc-bignum-1.3) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-bignum-1.3/src/LICENSE) | GHC BigNum library | `ghc-internal` | | **`ghc-boot`** | [`9.10.1`](http://hackage.haskell.org/package/ghc-boot-9.10.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-boot-9.10.1/src/LICENSE) | Shared functionality between GHC and its boot libraries | `ghc`, `ghci` |-| **`ghc-boot-th`** | [`9.10.1`](http://hackage.haskell.org/package/ghc-boot-th-9.10.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-boot-th-9.10.1/src/LICENSE) | Shared functionality between GHC and the @template-haskell@ library | `ghc-boot`, `template-haskell` |+| **`ghc-boot-th`** | [`9.10.1`](http://hackage.haskell.org/package/ghc-boot-th-9.10.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-boot-th-9.10.1/src/LICENSE) | Shared functionality between GHC and the @template-haskell@ library | `ghc-boot`, `ghc-compat-plugin`, `template-haskell` | | **`ghc-heap`** | [`9.10.1`](http://hackage.haskell.org/package/ghc-heap-9.10.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-heap-9.10.1/src/LICENSE) | Functions for walking GHC's heap | `ghc`, `ghci` | | **`ghc-internal`** | [`9.1001.0`](http://hackage.haskell.org/package/ghc-internal-9.1001.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-internal-9.1001.0/src/LICENSE) | Basic libraries | `base`, `ghc-heap` | | **`ghc-platform`** | [`0.1.0.0`](http://hackage.haskell.org/package/ghc-platform-0.1.0.0) |  *MISSING* | *MISSING* | `ghc-boot` | | **`ghc-prim`** | [`0.11.0`](http://hackage.haskell.org/package/ghc-prim-0.11.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/ghc-prim-0.11.0/src/LICENSE) | GHC primitives | *(core library)* | | **`ghci`** | [`9.10.1`](http://hackage.haskell.org/package/ghci-9.10.1) |  *MISSING* | *MISSING* | `ghc` |+| `hashable` | [`1.5.1.0`](http://hackage.haskell.org/package/hashable-1.5.1.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/hashable-1.5.1.0/src/LICENSE) | A class for types that can be converted to a hash value | `case-insensitive`, `scientific`, `tomland`, `unordered-containers` |+| `henforcer` | [`1.0.0.1`](http://hackage.haskell.org/package/henforcer-1.0.0.1) | [`MIT`](http://hackage.haskell.org/package/henforcer-1.0.0.1/src/LICENSE) | GHC plugin to enforce user specified rules on code. | `henforcer` | | **`hpc`** | [`0.7.0.1`](http://hackage.haskell.org/package/hpc-0.7.0.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/hpc-0.7.0.1/src/LICENSE) | Code Coverage Library for Haskell | `ghc` |-| **`mtl`** | [`2.3.1`](http://hackage.haskell.org/package/mtl-2.3.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/mtl-2.3.1/src/LICENSE) | Monad classes for transformers, using functional dependencies | `exceptions` |-| **`os-string`** | [`2.0.2`](http://hackage.haskell.org/package/os-string-2.0.2) | [`BSD-3-Clause`](http://hackage.haskell.org/package/os-string-2.0.2/src/LICENSE) | Library for manipulating Operating system strings. | `directory`, `filepath`, `unix` |+| `integer-logarithms` | [`1.0.5`](http://hackage.haskell.org/package/integer-logarithms-1.0.5) | [`MIT`](http://hackage.haskell.org/package/integer-logarithms-1.0.5/src/LICENSE) | Integer logarithms. | `scientific` |+| `megaparsec` | [`9.8.1`](http://hackage.haskell.org/package/megaparsec-9.8.1) | [`BSD-2-Clause`](http://hackage.haskell.org/package/megaparsec-9.8.1/src/LICENSE.md) | Monadic parser combinators | `tomland` |+| **`mtl`** | [`2.3.1`](http://hackage.haskell.org/package/mtl-2.3.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/mtl-2.3.1/src/LICENSE) | Monad classes for transformers, using functional dependencies | `exceptions`, `megaparsec`, `tomland` |+| `optparse-applicative` | [`0.19.0.0`](http://hackage.haskell.org/package/optparse-applicative-0.19.0.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/optparse-applicative-0.19.0.0/src/LICENSE) | Utilities and combinators for parsing command line options | `henforcer` |+| **`os-string`** | [`2.0.2`](http://hackage.haskell.org/package/os-string-2.0.2) | [`BSD-3-Clause`](http://hackage.haskell.org/package/os-string-2.0.2/src/LICENSE) | Library for manipulating Operating system strings. | `directory`, `filepath`, `hashable`, `unix` |+| `parser-combinators` | [`1.3.1`](http://hackage.haskell.org/package/parser-combinators-1.3.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/parser-combinators-1.3.1/src/LICENSE.md) | Lightweight package providing commonly useful parser combinators | `megaparsec`, `tomland` |+| `pollock` | [`0.1.0.4`](http://hackage.haskell.org/package/pollock-0.1.0.4) | [`MIT`](http://hackage.haskell.org/package/pollock-0.1.0.4/src/LICENSE) | Functionality to help examine Haddock information of a module. | `henforcer` | | **`pretty`** | [`1.1.3.6`](http://hackage.haskell.org/package/pretty-1.1.3.6) | [`BSD-3-Clause`](http://hackage.haskell.org/package/pretty-1.1.3.6/src/LICENSE) | Pretty-printing library | `template-haskell` |-| **`process`** | [`1.6.19.0`](http://hackage.haskell.org/package/process-1.6.19.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/process-1.6.19.0/src/LICENSE) | Process libraries | `ghc` |+| `prettyprinter` | [`1.7.2`](http://hackage.haskell.org/package/prettyprinter-1.7.2) | [`BSD-2-Clause`](http://hackage.haskell.org/package/prettyprinter-1.7.2/src/LICENSE.md) | A modern, easy to use, well-documented, extensible pretty-printer. | `optparse-applicative`, `prettyprinter-ansi-terminal` |+| `prettyprinter-ansi-terminal` | [`1.1.4`](http://hackage.haskell.org/package/prettyprinter-ansi-terminal-1.1.4) | [`BSD-2-Clause`](http://hackage.haskell.org/package/prettyprinter-ansi-terminal-1.1.4/src/LICENSE.md) | ANSI terminal backend for the »prettyprinter« package. | `optparse-applicative` |+| `primitive` | [`0.9.1.0`](http://hackage.haskell.org/package/primitive-0.9.1.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/primitive-0.9.1.0/src/LICENSE) | Primitive memory-related operations | `scientific` |+| **`process`** | [`1.6.19.0`](http://hackage.haskell.org/package/process-1.6.19.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/process-1.6.19.0/src/LICENSE) | Process libraries | `extra`, `ghc`, `optparse-applicative` |+| `scientific` | [`0.3.8.1`](http://hackage.haskell.org/package/scientific-0.3.8.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/scientific-0.3.8.1/src/LICENSE) | Numbers represented using scientific notation | `attoparsec`, `megaparsec` |+| `selective` | [`0.7.0.1`](http://hackage.haskell.org/package/selective-0.7.0.1) | [`MIT`](http://hackage.haskell.org/package/selective-0.7.0.1/src/LICENSE) | Selective applicative functors | `validation-selective` | | **`semaphore-compat`** | [`1.0.0`](http://hackage.haskell.org/package/semaphore-compat-1.0.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/semaphore-compat-1.0.0) | Cross-platform abstraction for system semaphores | `ghc` | | **`stm`** | [`2.5.3.1`](http://hackage.haskell.org/package/stm-2.5.3.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/stm-2.5.3.1/src/LICENSE) | Software Transactional Memory | `exceptions`, `ghc` |-| **`template-haskell`** | [`2.22.0.0`](http://hackage.haskell.org/package/template-haskell-2.22.0.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/template-haskell-2.22.0.0/src/LICENSE) | Support library for Template Haskell | `bytestring`, `containers`, `exceptions`, `filepath`, `ghc`, `ghci`, `os-string` |-| **`time`** | [`1.12.2`](http://hackage.haskell.org/package/time-1.12.2) | [`BSD-2-Clause`](http://hackage.haskell.org/package/time-1.12.2/src/LICENSE) | A time library | `directory`, `ghc`, `hpc`, `unix` |-| **`transformers`** | [`0.6.1.1`](http://hackage.haskell.org/package/transformers-0.6.1.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/transformers-0.6.1.1/src/LICENSE) | Concrete functor and monad transformers | `exceptions`, `ghc`, `ghci`, `mtl` |-| **`unix`** | [`2.8.5.1`](http://hackage.haskell.org/package/unix-2.8.5.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/unix-2.8.5.1/src/LICENSE) | POSIX functionality | `directory`, `ghc`, `ghc-boot`, `ghci`, `process`, `semaphore-compat` |+| **`template-haskell`** | [`2.22.0.0`](http://hackage.haskell.org/package/template-haskell-2.22.0.0) | [`BSD-3-Clause`](http://hackage.haskell.org/package/template-haskell-2.22.0.0/src/LICENSE) | Support library for Template Haskell | `bytestring`, `containers`, `exceptions`, `filepath`, `ghc`, `ghci`, `os-string`, `primitive`, `scientific`, `text`, `unordered-containers` |+| **`text`** | [`2.1.1`](http://hackage.haskell.org/package/text-2.1.1) | [`BSD-2-Clause`](http://hackage.haskell.org/package/text-2.1.1/src/LICENSE) | An efficient packed Unicode text type. | `attoparsec`, `case-insensitive`, `hashable`, `henforcer`, `megaparsec`, `optparse-applicative`, `pollock`, `prettyprinter`, `prettyprinter-ansi-terminal`, `scientific`, `tomland` |+| **`time`** | [`1.12.2`](http://hackage.haskell.org/package/time-1.12.2) | [`BSD-2-Clause`](http://hackage.haskell.org/package/time-1.12.2/src/LICENSE) | A time library | `directory`, `extra`, `ghc`, `hpc`, `tomland`, `unix` |+| `tomland` | [`1.3.3.3`](http://hackage.haskell.org/package/tomland-1.3.3.3) | [`MPL-2.0`](http://hackage.haskell.org/package/tomland-1.3.3.3/src/LICENSE) | Bidirectional TOML serialization | `henforcer` |+| **`transformers`** | [`0.6.1.1`](http://hackage.haskell.org/package/transformers-0.6.1.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/transformers-0.6.1.1/src/LICENSE) | Concrete functor and monad transformers | `attoparsec`, `exceptions`, `ghc`, `ghci`, `megaparsec`, `mtl`, `optparse-applicative`, `primitive`, `selective` |+| **`unix`** | [`2.8.5.1`](http://hackage.haskell.org/package/unix-2.8.5.1) | [`BSD-3-Clause`](http://hackage.haskell.org/package/unix-2.8.5.1/src/LICENSE) | POSIX functionality | `directory`, `extra`, `ghc`, `ghc-boot`, `ghci`, `process`, `semaphore-compat` |+| `unordered-containers` | [`0.2.21`](http://hackage.haskell.org/package/unordered-containers-0.2.21) | [`BSD-3-Clause`](http://hackage.haskell.org/package/unordered-containers-0.2.21/src/LICENSE) | Efficient hashing-based container types | `tomland` |+| `validation-selective` | [`0.2.0.0`](http://hackage.haskell.org/package/validation-selective-0.2.0.0) | [`MPL-2.0`](http://hackage.haskell.org/package/validation-selective-0.2.0.0/src/LICENSE) | Lighweight pure data validation based on Applicative and Selective functors | `tomland` |
no-recursion.cabal view
@@ -3,22 +3,21 @@ --   exception.  name: no-recursion-version: 0.4.0.0+version: 0.4.0.1 synopsis: A GHC plugin to remove support for recursion-description: General recursion can be the cause of a lot of problems. This-             removes recursion from GHC, allowing you to guarantee you’re using-             other mechanisms, like recursion schemes.+description:+  General recursion can be the cause of a lot of problems. This removes+  recursion from GHC, allowing you to guarantee you’re using other mechanisms,+  like recursion schemes. maintainer: Greg Pfeil <greg@technomadic.org> author: Greg Pfeil <greg@technomadic.org> copyright: 2024 Greg Pfeil--- TODO: Remove the redundant `OR AGPL-3.0-only` once---       haskell/hackage-server#1440 is fixed.-license: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-commercial+license: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary license-files:   LICENSE   LICENSE.AGPL-3.0-only   LICENSE.Universal-FOSS-exception-1.0-  LICENSE.commercial+  LICENSE.proprietary category: Recursion build-type: Custom extra-doc-files:@@ -27,6 +26,8 @@   docs/*.md tested-with:   GHC == {+    9.2.1,+    9.4.1, 9.4.8,     9.6.1, 9.6.7,     9.8.1, 9.8.4,     9.10.1, 9.10.2, 9.10.3,@@ -36,11 +37,19 @@  homepage: https://github.com/sellout/no-recursion#readme bug-reports: https://github.com/sellout/no-recursion/issues+ source-repository head   type: git   location: https://github.com/sellout/no-recursion.git   subdir: core +source-repository this+  type: git+  location: https://github.com/sellout/no-recursion.git+  subdir: core+  -- NB: This is the repo version, which is distinct from the package version.+  tag: v0.4.1+ custom-setup   setup-depends:     -- TODO: Due to haskell/cabal#3751, `Cabal` has to be specified even though@@ -54,7 +63,7 @@     --       9.8.3 include an older Cabal, so a newer one may need to be     --       manually installed.     Cabal >= 3.10.3 && < 99,-    base ^>= {4.18.0, 4.19.0, 4.20.0, 4.21.0, 4.22.0},+    base ^>= {4.16.0, 4.17.0, 4.18.0, 4.19.0, 4.20.0, 4.21.0, 4.22.0},     cabal-doctest ^>= {1.0.0},  flag noisy-deprecations@@ -69,6 +78,14 @@   -- Because disabling this flag won’t help the solver.   manual: True +flag lint+  description:+    Build with linting plugins enabled. This is intended for developers of this+    package.+  default: False+  -- Because disabling this flag won’t help the solver.+  manual: True+ -- This mimics the GHC2024 extension -- (https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/control.html?highlight=doandifthenelse#extension-GHC2024), -- but supporting compilers back to GHC 7.10. If the oldest supported compiler@@ -91,7 +108,8 @@ common defaults   import: GHC2024   build-depends:-    base ^>= {4.18.0, 4.19.0, 4.20.0, 4.21.0, 4.22.0},+    base ^>= {4.16.0, 4.17.0, 4.18.0, 4.19.0, 4.20.0, 4.21.0, 4.22.0},+    ghc-compat-plugin ^>= {0.1.0},   ghc-options:     -Weverything     -- This one just reports unfixable things, AFAICT.@@ -102,6 +120,9 @@     -- Warns even when `Unsafe` is explicit, not inferred. See     -- https://gitlab.haskell.org/ghc/ghc/-/issues/16689     -Wno-unsafe+    -fplugin GhcCompat+    -fplugin-opt GhcCompat:minVersion=9.2.1+    -fplugin-opt GhcCompat:reportIncompatibleExtensions=error   if impl(ghc >= 9.8.1)     ghc-options:       -- Inference good.@@ -129,13 +150,18 @@     NoTypeApplications   if flag(noisy-deprecations)     cpp-options: -DSELLOUT_NOISY_DEPRECATIONS+  if flag(lint) && impl(ghc >= 9.4.2)+    build-depends:+      henforcer ^>= {1.0.0},+    ghc-options:+      -fplugin Henforcer  library   import: defaults   hs-source-dirs:     src   build-depends:-    ghc ^>= {9.6.1, 9.8.1, 9.10.1, 9.12.1, 9.14.1},+    ghc ^>= {9.2.1, 9.4.1, 9.6.1, 9.8.1, 9.10.1, 9.12.1, 9.14.1},   exposed-modules:     NoRecursion   other-modules:@@ -148,7 +174,7 @@     tests   main-is: doctests.hs   build-depends:-    doctest ^>= {0.21.1, 0.22.2, 0.24.0},+    doctest ^>= {0.18.2, 0.20.1, 0.21.1, 0.22.2, 0.24.0, 0.25.0},     no-recursion,   -- TODO: The sections below here are necessary because we don’t have control   --       over the generated `Build_doctests.hs` file. So we have to silence
src/NoRecursion.hs view
@@ -1,8 +1,11 @@ {-# LANGUAGE Unsafe #-} --- | A plugin that identifies and reports on uses of recursion. The name evokes---   a language pragma – implying a @Recursion@ pragma that is enabled by---   default.+-- |+-- Copyright: 2024 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary+--+-- A plugin that identifies and reports on uses of recursion. The name evokes a+-- language pragma – implying a @Recursion@ pragma that is enabled by default. module NoRecursion (plugin) where  import safe "base" Control.Applicative (liftA2, pure)@@ -40,6 +43,8 @@   )  -- | The entrypoint for the "NoRecursion" plugin.+--+-- @since 0.1.0 plugin :: Plugins.Plugin plugin =   defaultPurePlugin
src/PluginUtils.hs view
@@ -2,8 +2,10 @@ {-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}  -- |+-- Copyright: 2025 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary -----  __TODO__: Make a separate package with general plugin utilities.+-- __TODO__: Make a separate package with general plugin utilities. module PluginUtils   ( defaultPurePlugin,     Annotations,@@ -24,6 +26,10 @@ import safe "base" Data.String (String) import "ghc" GHC.Plugins qualified as Plugins +-- | The same as `Plugins.defaultPlugin`, but defaults to a pure plugin, rather+--   than an impure one.+--+-- @since 0.2.0 defaultPurePlugin :: Plugins.Plugin defaultPurePlugin =   Plugins.defaultPlugin {Plugins.pluginRecompile = Plugins.purePlugin}@@ -31,9 +37,15 @@ -- | Annotations of type @a@ for a module – `fst` is the module-level --   annotations and `Data.Tuple.snd` is a map of annotations for each name in --   the module.+--+-- @since 0.2.0 type Annotations :: Type -> Type type Annotations a = (a, Plugins.NameEnv a) +-- | Similar to `Plugins.getAnnotations`, but only returns the annotations for+--   the current module.+--+-- @since 0.2.0 getAnnotations :: (Data a) => Plugins.ModGuts -> Plugins.CoreM (Annotations [a]) getAnnotations guts =   first@@ -55,5 +67,7 @@     elemIndex ':' opt  -- | This splits each option on `:`, returning a separate “value” if it exists.+--+-- @since 0.2.0 processOptions :: [Plugins.CommandLineOption] -> [(String, Maybe String)] processOptions = fmap processOption . correctOptionOrder
tests/doctests.hs view
@@ -1,12 +1,28 @@ {-# LANGUAGE Unsafe #-} +-- |+-- Copyright: 2017-2020 Oleg Grenrus, 2020- Max Ulidtko+-- License: BSD-3-Clause+--+-- Test-suite driver, adapted from+-- [cabal-doctest](https://hackage.haskell.org/package/cabal-doctest). module Main (main) where +import safe "base" Control.Category ((.))+import safe "base" Data.Foldable (fold) import safe "base" Data.Function (($))+import safe "base" Data.Functor (fmap) import safe "base" Data.Semigroup ((<>))-import safe "base" System.IO (IO)+import safe "base" Data.Traversable (for)+import safe "base" System.IO (IO, print, putStrLn) import "doctest" Test.DocTest (doctest)-import "this" Build_doctests (flags, module_sources, pkgs)+import "this" Build_doctests (Component (Component), components) +-- | The doctest entry point.+--+-- @since 0.0.1 main :: IO ()-main = doctest $ flags <> pkgs <> module_sources+main = fmap fold . for components $ \(Component name flags pkgs sources) -> do+  print name+  putStrLn "----------------------------------------"+  doctest $ flags <> pkgs <> sources
tests/ignore/Test/AllowRecursion.hs view
@@ -2,6 +2,9 @@ -- Removing this line should cause this module to not compile. {-# OPTIONS_GHC -fplugin-opt=NoRecursion:allow-recursion:true #-} +-- |+-- Copyright: 2024 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary module Test.AllowRecursion   ( recDef,     nonRecDef,@@ -10,8 +13,14 @@  import "base" Control.Category (id) +-- | A simple self-recursive definition.+--+-- @since 0.2.0 recDef :: a -> b recDef = recDef +-- | A trivial non-recursive definition.+--+-- @since 0.2.0 nonRecDef :: a -> a nonRecDef = id
tests/ignore/Test/AnnModule.hs view
@@ -1,5 +1,8 @@ {-# LANGUAGE Unsafe #-} +-- |+-- Copyright: 2024 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary module Test.AnnModule   ( recDef,     nonRecDef,@@ -11,9 +14,15 @@ -- Removing this line should cause this module to not compile. {-# ANN module "Recursion" #-} +-- | A simple self-recursive definition.+--+-- @since 0.1.1 recDef :: a -> b recDef = recDef +-- | A trivial non-recursive definition.+--+-- @since 0.1.1 nonRecDef :: a -> a nonRecDef = id {-# ANN nonRecDef "NoRecursion" #-}
tests/ignore/Test/AnnName.hs view
@@ -1,5 +1,8 @@ {-# LANGUAGE Unsafe #-} +-- |+-- Copyright: 2024 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary module Test.AnnName   ( recDef,     nonRecDef,@@ -8,10 +11,16 @@  import safe "base" Control.Category (id) +-- | A simple self-recursive definition.+--+-- @since 0.1.1 recDef :: a -> b recDef = recDef -- Removing this line should cause this module to not compile. {-# ANN recDef "Recursion" #-} +-- | A trivial non-recursive definition.+--+-- @since 0.1.1 nonRecDef :: a -> a nonRecDef = id
tests/ignore/Test/IgnoreDefaultImpls.hs view
@@ -4,8 +4,12 @@ -- Removing this line should cause this module to not compile. {-# OPTIONS_GHC -fplugin-opt=NoRecursion:ignore-methods:sconcat,stimes #-} --- | Without @-fplugin-opt=NoRecursion:no-ignore-default-impls@ specified during---   compilation, default definitions won’t trigger an error.+-- |+-- Copyright: 2025 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary+--+-- Without @-fplugin-opt=NoRecursion:no-ignore-default-impls@ specified during+-- compilation, default definitions won’t trigger an error. module Test.IgnoreDefaultImpls   ( Example (Empty, NotEmpty),   )@@ -17,6 +21,9 @@ import "base" Data.Semigroup (Semigroup, (<>)) import "base" Data.Tuple (curry) +-- | A trivial data type for testing instances.+--+-- @since 0.2.0 type Example :: Type data Example   = Empty
tests/ignore/Test/UnannName.hs view
@@ -2,6 +2,9 @@ -- Removing this line should cause this module to not compile. {-# OPTIONS_GHC -fplugin-opt=NoRecursion:ignore-decls:recDef #-} +-- |+-- Copyright: 2025 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary module Test.UnannName   ( recDef,     nonRecDef,@@ -10,8 +13,14 @@  import "base" Control.Category (id) +-- | A simple self-recursive definition.+--+-- @since 0.2.0 recDef :: a -> b recDef = recDef +-- | A trivial non-recursive definition.+--+-- @since 0.2.0 nonRecDef :: a -> a nonRecDef = id
tests/ignore/test.hs view
@@ -1,8 +1,17 @@ {-# LANGUAGE Trustworthy #-} +-- |+-- Copyright: 2024 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary+module Main+  ( main,+  )+where+ import safe "base" Control.Applicative (pure) import safe "base" Control.Category ((.))-import safe "base" Data.Function (const, ($))+import safe "base" Data.Function (($))+import safe "base" Data.Functor (void) import safe "base" System.IO (IO) import safe "this" Test.AllowRecursion qualified as AllowRecursion import "this" Test.AnnModule qualified as AnnModule@@ -10,11 +19,14 @@ import safe "this" Test.IgnoreDefaultImpls qualified as IgnoreDefaultImpls import safe "this" Test.UnannName qualified as UnannName +-- | The test-suite entry point.+--+-- @since 0.1.1 main :: IO () main =-  pure+  void+    . pure     . AllowRecursion.nonRecDef     . AnnModule.nonRecDef     . AnnName.nonRecDef-    . UnannName.nonRecDef-    $ const () IgnoreDefaultImpls.Empty+    $ UnannName.nonRecDef IgnoreDefaultImpls.Empty
tests/no-ignore/Test/IgnoreDefaultImpls.hs view
@@ -3,6 +3,9 @@ {-# OPTIONS_GHC -fplugin-opt=NoRecursion:ignore-method-cycles:true #-} {-# OPTIONS_GHC -fplugin-opt=NoRecursion:ignore-methods:sconcat,stimes #-} +-- |+-- Copyright: 2025 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary module Test.IgnoreDefaultImpls   ( Example (Empty, NotEmpty),   )@@ -14,6 +17,9 @@ import "base" Data.Semigroup (Semigroup, (<>)) import "base" Data.Tuple (curry) +-- | A trivial data type for testing instances.+--+-- @since 0.2.0 type Example :: Type data Example   = Empty
tests/no-ignore/test.hs view
@@ -1,9 +1,21 @@ {-# LANGUAGE Safe #-} +-- |+-- Copyright: 2025 Greg Pfeil+-- License: AGPL-3.0-only WITH Universal-FOSS-exception-1.0 OR LicenseRef-proprietary+module Main+  ( main,+  )+where+ import "base" Control.Applicative (pure)-import "base" Data.Function (const, ($))+import "base" Data.Function (($))+import "base" Data.Functor (void) import "base" System.IO (IO) import "this" Test.IgnoreDefaultImpls qualified as IgnoreDefaultImpls +-- | The test-suite entry point.+--+-- @since 0.2.0 main :: IO ()-main = pure $ const () IgnoreDefaultImpls.Empty+main = void $ pure IgnoreDefaultImpls.Empty