unbound 0.4.0.2 → 0.4.1

raw patch · 3 files changed

+9/−3 lines, 3 filesdep ~RepLibPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: RepLib

API changes (from Hackage documentation)

- Unbound.LocallyNameless: rEmbed :: Rep t_abPX => R (Embed t_abPX)

+ Unbound.LocallyNameless: rEmbed :: Rep t_abQV => R (Embed t_abQV)

- Unbound.LocallyNameless: rGenBind :: (Rep order_abQ8, Rep card_abQ9, Rep p_abQa, Rep t_abQb) => R (GenBind order_abQ8 card_abQ9 p_abQa t_abQb)

+ Unbound.LocallyNameless: rGenBind :: (Rep order_abR6, Rep card_abR7, Rep p_abR8, Rep t_abR9) => R (GenBind order_abR6 card_abR7 p_abR8 t_abR9)

- Unbound.LocallyNameless: rRebind :: (Rep p1_abQ0, Rep p2_abQ1) => R (Rebind p1_abQ0 p2_abQ1)

+ Unbound.LocallyNameless: rRebind :: (Rep p1_abQY, Rep p2_abQZ) => R (Rebind p1_abQY p2_abQZ)

- Unbound.LocallyNameless: rRec :: Rep p_abPZ => R (Rec p_abPZ)

+ Unbound.LocallyNameless: rRec :: Rep p_abQX => R (Rec p_abQX)

- Unbound.LocallyNameless: rShift :: Rep p_abPW => R (Shift p_abPW)

+ Unbound.LocallyNameless: rShift :: Rep p_abQU => R (Shift p_abQU)

- Unbound.LocallyNameless.Types: rEmbed :: Rep t_abPX => R (Embed t_abPX)

+ Unbound.LocallyNameless.Types: rEmbed :: Rep t_abQV => R (Embed t_abQV)

- Unbound.LocallyNameless.Types: rGenBind :: (Rep order_abQ8, Rep card_abQ9, Rep p_abQa, Rep t_abQb) => R (GenBind order_abQ8 card_abQ9 p_abQa t_abQb)

+ Unbound.LocallyNameless.Types: rGenBind :: (Rep order_abR6, Rep card_abR7, Rep p_abR8, Rep t_abR9) => R (GenBind order_abR6 card_abR7 p_abR8 t_abR9)

- Unbound.LocallyNameless.Types: rRebind :: (Rep p1_abQ0, Rep p2_abQ1) => R (Rebind p1_abQ0 p2_abQ1)

+ Unbound.LocallyNameless.Types: rRebind :: (Rep p1_abQY, Rep p2_abQZ) => R (Rebind p1_abQY p2_abQZ)

- Unbound.LocallyNameless.Types: rRec :: Rep p_abPZ => R (Rec p_abPZ)

+ Unbound.LocallyNameless.Types: rRec :: Rep p_abQX => R (Rec p_abQX)

- Unbound.LocallyNameless.Types: rShift :: Rep p_abPW => R (Shift p_abPW)

+ Unbound.LocallyNameless.Types: rShift :: Rep p_abQU => R (Shift p_abQU)

Files

CHANGES +5/−0
Unbound/LocallyNameless/Alpha.hs +2/−1
unbound.cabal +2/−2

CHANGES view

@@ -57,3 +57,8 @@ Version 0.4.0.2: 10 April 2012    * Bump 'mtl' upper bound to allow mtl-2.1++Version 0.4.1: 5 June 2012++  * Patch from Vilhelm Sjöberg changing acompareR1 to return EQ for+    Abstract1

Unbound/LocallyNameless/Alpha.hs view

@@ -514,7 +514,8 @@                         (Nothing, Nothing) -> loop rest
                  loop [] = error "acompareR1 found no constructors! Please report this as a bug."
              in loop cons
-acompareR1 r1 _ = error ("compareR1 not supported for " ++ show r1)
+acompareR1 (Abstract1 _) _ = \_ _ -> EQ           
+acompareR1 r1 _ = error ("acompareR1 not supported for " ++ show r1)
 
 compareTupM :: MTup AlphaD l -> AlphaCtx -> l -> l -> Ordering
 compareTupM MNil _ Nil Nil = EQ

unbound.cabal view

@@ -1,5 +1,5 @@ name:           unbound-version:        0.4.0.2+version:        0.4.1 license:        BSD3 license-file:   LICENSE build-type:     Simple@@ -30,7 +30,7 @@  Library   build-depends: base >= 4.3 && < 5,-                 RepLib >= 0.5.1 && < 0.6,+                 RepLib >= 0.5.3 && < 0.6,                  mtl >= 2.0 && < 2.2, transformers >= 0.2.2.0 && < 0.4,                  containers >= 0.3 && < 0.5   exposed-modules: