The no-role-annots package

[Tags:bsd3, library, test]

This package is intended to ease the transition from GHC 7.6.3- to GHC 7.8+ by providing a backward-compatible role annotation syntax. The module Language.Haskell.RoleAnnots exports backward-compatible declarations usable to assign stricter roles to declarations. Proper role annotations are preferred, but these work, too. The module Language.Haskell.RoleAnnots.Check provides a way to check that a datatype has a set of desired roles. This might be suitable for use in a testsuite. See the module documentation for details. Note that this package works only with GHC 7.4 and up, because it depends on the -XPolyKinds extension. If you need backward compatibility before 7.4, then please look at the source code and adapt the definitions to the kinds of the variables in your program.


[Skip to Readme]

Properties

Versions 1.0, 1.1
Change log CHANGES.md
Dependencies base (>=4.5 && <5), template-haskell [details]
License BSD3
Author Richard Eisenberg <eir@cis.upenn.edu>
Maintainer Richard Eisenberg <eir@cis.upenn.edu>
Category Haskell
Home page https://github.com/goldfirere/no-role-annots
Bug tracker https://github.com/goldfirere/no-role-annots/issues
Source repository this: git clone https://github.com/goldfirere/no-role-annots.git(tag v1.1)
Uploaded Sun Jun 29 17:12:02 UTC 2014 by RichardEisenberg
Distributions NixOS:1.1
Downloads 448 total (12 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for no-role-annots

Readme for no-role-annots-1.1

no-role-annots

Build Status

This package is intended to ease the transition from GHC 7.6.3- to GHC 7.8+ by providing a backward-compatible role annotation syntax. The module Language.Haskell.RoleAnnots exports backward-compatible declarations usable to assign stricter roles to declarations. Proper role annotations are preferred, but these work, too.

The module Language.Haskell.RoleAnnots.Check provides a way to check that a datatype has a set of desired roles. This might be suitable for use in a testsuite.

See the module documentation for details.