projects
/
coq-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
clean up demo code
[coq-hetmet.git]
/
examples
/
GArrowTikZ.hs
diff --git
a/examples/GArrowTikZ.hs
b/examples/GArrowTikZ.hs
index
c094892
..
819ca1d
100644
(file)
--- 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 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 }))
-> IO ()
tikz x = tikz' $ optimize $ unG (x (\c -> PGArrowD { unG = GAS_const c }) (PGArrowD { unG = GAS_merge }))