X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;fp=examples%2FGArrowTikZ.hs;h=819ca1d054f4a9a349c8f9f1b68dc5dc2272db1c;hp=c09489211246fcd23ade4df4334ea1d109bdf7de;hb=423b0bd3972c5bcbbd757cb715e13b5b9104a9a6;hpb=67e004348a218f0addeff433e723496a328403ef

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
index c094892..819ca1d 100644
--- a/examples/GArrowTikZ.hs
+++ b/examples/GArrowTikZ.hs
@@ -485,11 +485,11 @@ toTikZ g =
            }
      
 
-tikz ::
+tikz :: forall c .
     (forall g .
              (Int -> PGArrow g (GArrowUnit g) Int) ->
-             (forall b . PGArrow g (GArrowTensor g b b) b) ->
-             PGArrow g b c)
+             (PGArrow g (GArrowTensor g c c) c) ->
+             PGArrow g c c)
      -> IO ()
 tikz x = tikz' $ optimize $ unG (x (\c -> PGArrowD { unG = GAS_const c }) (PGArrowD { unG = GAS_merge }))