Ubuntu
haskell-inspection-testing package

haskell-inspection-testing 0.5.0.2-1build2 source package in Ubuntu

Changelog

haskell-inspection-testing (0.5.0.2-1build2) oracular; urgency=medium

  * Rebuild against new GHC ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 15 May 2024 10:25:03 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Oracular
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
haskell-inspection-testing_0.5.0.2.orig.tar.gz 24.4 KiB 7c9a096c3503cfe25226c3816d27b7e6dcb07df4e7867f073f3645e423ec66ca
haskell-inspection-testing_0.5.0.2-1build2.debian.tar.xz 2.5 KiB ede16c06e9568ba0b371272407396b484a0ce2db99f4a019fafa2fb7ec14675e
haskell-inspection-testing_0.5.0.2-1build2.dsc 2.3 KiB 08c627c93bf7c3223a0a7a4054c389f087b05d80ad1dc3688d98be03f6f0a32f

Available diffs

View changes file

Binary packages built by this source

libghc-inspection-testing-dev: GHC plugin to do inspection testing

 Some carefully crafted libraries make promises to their
 users beyond functionality and performance.
 .
 Examples are: Fusion libraries promise intermediate data
 structures to be eliminated. Generic programming libraries promise
 that the generic implementation is identical to the
 hand-written one. Some libraries may promise allocation-free
 or branch-free code.
 .
 Conventionally, the modus operandi in all these cases is
 that the library author manually inspects the (intermediate or
 final) code produced by the compiler. This is not only
 tedious, but makes it very likely that some change, either
 in the library itself or the surrounding eco-system,
 breaks the library’s promised without anyone noticing.
 .
 This package provides a disciplined way of specifying such
 properties, and have them checked by the compiler. This way,
 this checking can be part of the ususal development cycle
 and regressions caught early.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-inspection-testing-doc: GHC plugin to do inspection testing; documentation

 Some carefully crafted libraries make promises to their
 users beyond functionality and performance.
 .
 Examples are: Fusion libraries promise intermediate data
 structures to be eliminated. Generic programming libraries promise
 that the generic implementation is identical to the
 hand-written one. Some libraries may promise allocation-free
 or branch-free code.
 .
 Conventionally, the modus operandi in all these cases is
 that the library author manually inspects the (intermediate or
 final) code produced by the compiler. This is not only
 tedious, but makes it very likely that some change, either
 in the library itself or the surrounding eco-system,
 breaks the library’s promised without anyone noticing.
 .
 This package provides a disciplined way of specifying such
 properties, and have them checked by the compiler. This way,
 this checking can be part of the ususal development cycle
 and regressions caught early.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-inspection-testing-prof: GHC plugin to do inspection testing; profiling libraries

 Some carefully crafted libraries make promises to their
 users beyond functionality and performance.
 .
 Examples are: Fusion libraries promise intermediate data
 structures to be eliminated. Generic programming libraries promise
 that the generic implementation is identical to the
 hand-written one. Some libraries may promise allocation-free
 or branch-free code.
 .
 Conventionally, the modus operandi in all these cases is
 that the library author manually inspects the (intermediate or
 final) code produced by the compiler. This is not only
 tedious, but makes it very likely that some change, either
 in the library itself or the surrounding eco-system,
 breaks the library’s promised without anyone noticing.
 .
 This package provides a disciplined way of specifying such
 properties, and have them checked by the compiler. This way,
 this checking can be part of the ususal development cycle
 and regressions caught early.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.