search

morphismtech / free-categories

free categories
BSD 3-Clause "New" or "Revised" License
9 stars 2 forks source link

Does not build on GHC-8.8.2 #6

Closed bergey closed 4 years ago

bergey commented 4 years ago

I hope the fix is just moving parens, but I haven't tried.

Error:

    [1 of 4] Compiling Data.Quiver

    /private/var/folders/cn/qmlf53n918g_w0k87q4xx3rr0000gp/T/stack50980/free-categories-0.2.0.0/src/Data/Quiver.hs:139:19: error:
        • You can't specify an instance for a tuple constraint
        • In the quantified constraint ‘forall (x :: k) (y :: k).
                                        (Show (p x y), Show (q x y))’
          In the stand-alone deriving instance for
            ‘(forall x y. (Show (p x y), Show (q x y))) =>
             Show (ComposeQ p q x y)’
        |
    139 | deriving instance (forall x y. (Show (p x y), Show (q x y)))