Bug#1014013: haskell-th-lift-instances FTBFS: error: Couldn't match type

Tue Jun 28 19:44:14 BST 2022

Source: haskell-th-lift-instances
Version: 0.1.17-1
Severity: serious
Tags: ftbfs bookworm sid

https://buildd.debian.org/status/package.php?p=haskell-th-lift-instances&suite=sid

...
src/Instances/TH/Lift.hs:226:15: error:
    • Couldn't match type: TExp a10
                     with: IntMap.IntMap v
      Expected: IntMap.IntMap v -> Code m (IntMap.IntMap v)
        Actual: IntMap.IntMap v -> Code m (TExp a10)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (IntMap.IntMap v)’
    • Relevant bindings include
        liftTyped :: IntMap.IntMap v -> Code m (IntMap.IntMap v)
          (bound at src/Instances/TH/Lift.hs:226:3)
    |
226 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:231:15: error:
    • Couldn't match type ‘TExp a9’ with ‘IntSet.IntSet’
      Expected: IntSet.IntSet -> Code m IntSet.IntSet
        Actual: IntSet.IntSet -> Code m (TExp a9)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift IntSet.IntSet’
    |
231 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:236:15: error:
    • Couldn't match type: TExp a8
                     with: Map.Map k v
      Expected: Map.Map k v -> Code m (Map.Map k v)
        Actual: Map.Map k v -> Code m (TExp a8)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (Map.Map k v)’
    • Relevant bindings include
        liftTyped :: Map.Map k v -> Code m (Map.Map k v)
          (bound at src/Instances/TH/Lift.hs:236:3)
    |
236 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:241:15: error:
    • Couldn't match type: TExp a7
                     with: Sequence.Seq a
      Expected: Sequence.Seq a -> Code m (Sequence.Seq a)
        Actual: Sequence.Seq a -> Code m (TExp a7)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (Sequence.Seq a)’
    • Relevant bindings include
        liftTyped :: Sequence.Seq a -> Code m (Sequence.Seq a)
          (bound at src/Instances/TH/Lift.hs:241:3)
    |
241 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:246:15: error:
    • Couldn't match type: TExp a6
                     with: Set.Set a
      Expected: Set.Set a -> Code m (Set.Set a)
        Actual: Set.Set a -> Code m (TExp a6)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (Set.Set a)’
    • Relevant bindings include
        liftTyped :: Set.Set a -> Code m (Set.Set a)
          (bound at src/Instances/TH/Lift.hs:246:3)
    |
246 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:277:15: error:
    • Couldn't match type ‘TExp a5’ with ‘ByteString.ByteString’
      Expected: ByteString.ByteString -> Code m ByteString.ByteString
        Actual: ByteString.ByteString -> Code m (TExp a5)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift ByteString.ByteString’
    |
277 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:285:15: error:
    • Couldn't match type ‘TExp a4’ with ‘ByteString.Lazy.ByteString’
      Expected: ByteString.Lazy.ByteString
                -> Code m ByteString.Lazy.ByteString
        Actual: ByteString.Lazy.ByteString -> Code m (TExp a4)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift ByteString.Lazy.ByteString’
    |
285 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:293:15: error:
    • Couldn't match type: TExp a3
                     with: Vector.Primitive.Vector a
      Expected: Vector.Primitive.Vector a
                -> Code m (Vector.Primitive.Vector a)
        Actual: Vector.Primitive.Vector a -> Code m (TExp a3)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (Vector.Primitive.Vector a)’
    • Relevant bindings include
        liftTyped :: Vector.Primitive.Vector a
                     -> Code m (Vector.Primitive.Vector a)
          (bound at src/Instances/TH/Lift.hs:293:3)
    |
293 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:299:15: error:
    • Couldn't match type: TExp a2
                     with: Vector.Storable.Vector a
      Expected: Vector.Storable.Vector a
                -> Code m (Vector.Storable.Vector a)
        Actual: Vector.Storable.Vector a -> Code m (TExp a2)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (Vector.Storable.Vector a)’
    • Relevant bindings include
        liftTyped :: Vector.Storable.Vector a
                     -> Code m (Vector.Storable.Vector a)
          (bound at src/Instances/TH/Lift.hs:299:3)
    |
299 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:305:15: error:
    • Couldn't match type: TExp a1
                     with: Vector.Unboxed.Vector a
      Expected: Vector.Unboxed.Vector a
                -> Code m (Vector.Unboxed.Vector a)
        Actual: Vector.Unboxed.Vector a -> Code m (TExp a1)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (Vector.Unboxed.Vector a)’
    • Relevant bindings include
        liftTyped :: Vector.Unboxed.Vector a
                     -> Code m (Vector.Unboxed.Vector a)
          (bound at src/Instances/TH/Lift.hs:305:3)
    |
305 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^

src/Instances/TH/Lift.hs:311:15: error:
    • Couldn't match type: TExp a0
                     with: Vector.Boxed.Vector a
      Expected: Vector.Boxed.Vector a -> Code m (Vector.Boxed.Vector a)
        Actual: Vector.Boxed.Vector a -> Code m (TExp a0)
    • In the expression: unsafeTExpCoerce . lift
      In an equation for ‘liftTyped’: liftTyped = unsafeTExpCoerce . lift
      In the instance declaration for ‘Lift (Vector.Boxed.Vector a)’
    • Relevant bindings include
        liftTyped :: Vector.Boxed.Vector a
                     -> Code m (Vector.Boxed.Vector a)
          (bound at src/Instances/TH/Lift.hs:311:3)
    |
311 |   LIFT_TYPED_DEFAULT
    |               ^^^^^^^^^^^^^^^^^^^^^^^
 at /usr/share/perl5/Debian/Debhelper/Buildsystem/Haskell/Recipes.pm line 107.
	Debian::Debhelper::Buildsystem::Haskell::Recipes::run_quiet("debian/hlibrary.setup", "haddock", "--builddir=dist-ghc", "--with-haddock=/usr/bin/haddock", "--with-ghc=ghc", "--verbose=2", "--html", "--hoogle", ...) called at /usr/share/perl5/Debian/Debhelper/Buildsystem/Haskell/Recipes.pm line 131
	Debian::Debhelper::Buildsystem::Haskell::Recipes::run("debian/hlibrary.setup", "haddock", "--builddir=dist-ghc", "--with-haddock=/usr/bin/haddock", "--with-ghc=ghc", "--verbose=2", "--html", "--hoogle", ...) called at /usr/share/perl5/Debian/Debhelper/Buildsystem/Haskell/Recipes.pm line 707
	Debian::Debhelper::Buildsystem::Haskell::Recipes::haddock_recipe() called at -e line 1
make: *** [/usr/share/cdbs/1/class/hlibrary.mk:153: build-ghc-stamp] Error 25