projects
/
coq-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7523e50
)
GArrowTikZ: improve rendering of ga_drop
author
Adam Megacz
<megacz@cs.berkeley.edu>
Sun, 2 Oct 2011 01:56:25 +0000
(18:56 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Sun, 2 Oct 2011 01:56:25 +0000
(18:56 -0700)
examples/GArrowTikZ.hs
patch
|
blob
|
history
diff --git
a/examples/GArrowTikZ.hs
b/examples/GArrowTikZ.hs
index
d3ae2e0
..
b090c85
100644
(file)
--- a/
examples/GArrowTikZ.hs
+++ b/
examples/GArrowTikZ.hs
@@
-204,7
+204,10
@@
mkdiag (GASPortShapeWrapper inp outp x) = mkdiag' x
drawWires tp x1 x x2 x "black" ++
drawLine ((x1+x2)/2) (tp!lowermost x) x2 (tp!uppermost y) "gray!50" "dashed"
; return $ DiagramBox 2 top x r (TT x y) bot }
drawWires tp x1 x x2 x "black" ++
drawLine ((x1+x2)/2) (tp!lowermost x) x2 (tp!uppermost y) "gray!50" "dashed"
; return $ DiagramBox 2 top x r (TT x y) bot }
- mkdiag' GAS_drop = do { (top, x ,bot) <- alloc inp ; simpleDiag "drop" top x x bot [] }
+ mkdiag' GAS_drop = do { (top, x ,bot) <- alloc inp
+ ; (_, y ,_) <- alloc outp
+ ; constrainEq x y
+ ; simpleDiag "drop" top x y bot [] }
mkdiag' (GAS_const i) = do { (top, x ,bot) <- alloc inp
; (_, y ,_) <- alloc outp
; constrainEq x y
mkdiag' (GAS_const i) = do { (top, x ,bot) <- alloc inp
; (_, y ,_) <- alloc outp
; constrainEq x y