From a442f67b4ef8d17f7f60179b123df96d111ebb32 Mon Sep 17 00:00:00 2001 From: Aleksey Kliger Date: Mon, 23 May 2016 22:03:22 -0400 Subject: [PATCH] Version 0.3.1 --- Changelog.md | 6 ++++++ LICENSE | 2 +- unbound-generics.cabal | 6 +++--- 3 files changed, 10 insertions(+), 4 deletions(-) diff --git a/Changelog.md b/Changelog.md index 2695fec..1abfbda 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,3 +1,9 @@ +# 0.3.1 + +* Tested with GHC 8.0.1 +* Removed `Generic b` constraint from `Subst b (Name a)` instance. + + # 0.3 * Change types of `open` and `close` to take `NthPatFind` and `NamePatFind` instead of generic patterns, update call sites. diff --git a/LICENSE b/LICENSE index 7071ca3..1dededb 100644 --- a/LICENSE +++ b/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2014, Aleksey Kliger +Copyright (c) 2014-2016, Aleksey Kliger All rights reserved. diff --git a/unbound-generics.cabal b/unbound-generics.cabal index a7ef394..7eb43e0 100644 --- a/unbound-generics.cabal +++ b/unbound-generics.cabal @@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: unbound-generics -version: 0.3 +version: 0.3.1 synopsis: Support for programming with names and binders using GHC Generics description: Specify the binding structure of your data type with an expressive set of type combinators, and unbound-generics @@ -12,7 +12,7 @@ description: Specify the binding structure of your data type with an @Unbound.Generics.LocallyNameless@ to get started. . This is an independent re-implementation of - but using + but using instead of . See the accompanying README for some porting notes. @@ -22,7 +22,7 @@ license: BSD3 license-file: LICENSE author: Aleksey Kliger maintainer: aleksey@lambdageek.org -copyright: (c) 2014-2015, Aleksey Kliger +copyright: (c) 2014-2016, Aleksey Kliger category: Language build-type: Simple extra-source-files: examples/*.hs,