X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;h=b3a468f07b3fc86b4f41f8123d4bac141a6cf26e;hp=db216583a0641242afbb80ee8ebb771e7aea2ab2;hb=bb5ad91dc2d9cf1e35895e293b4e3e1478b4af00;hpb=c64ac559ed9448b8aa24abedbc2ad5ca800d1d24

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
index db21658..b3a468f 100644
--- a/examples/GArrowTikZ.hs
+++ b/examples/GArrowTikZ.hs
@@ -424,8 +424,12 @@ toTikZ' g = foldr (\x y -> x++"\\\\\n"++y) [] (map foo s)
                s = sortit (strip k)
                m = valuatit empty s
 
-tikz' :: (forall g a . PGArrow g (GArrowUnit g) a -> PGArrow g (GArrowUnit g) a) -> IO ()
-tikz' x = tikz $ unG (x (PGArrowD { unG = TikZ_const 12 }))
+tikz' :: (forall g a .
+                 PGArrow g (GArrowUnit g) a ->
+                 (
+                   forall b . PGArrow g (GArrowTensor g b b) b) ->
+                     PGArrow g (GArrowUnit g) a) -> IO ()
+tikz' x = tikz $ unG (x (PGArrowD { unG = TikZ_const 12 }) (PGArrowD { unG = TikZ_merge }) )
 main = do putStrLn "hello"
 tikz example
      = do putStrLn "\\documentclass{article}"