From 5632630c3828941a4c3b3d4f5706261d775dfe1a Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 1 Oct 2011 18:56:25 -0700 Subject: [PATCH] GArrowTikZ: improve rendering of ga_drop --- examples/GArrowTikZ.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs index d3ae2e0..b090c85 100644 --- 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 } - 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 -- 1.7.10.4