X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;fp=examples%2FGArrowTikZ.hs;h=dcf7c8ff39d0c8bcca1b4e33a3903459c71cae49;hp=66b5295e485d6e4f228100f5be4fddcdf2939859;hb=9238cdac094f9be01ee8978ddb18b6404a6d9ade;hpb=ec996e8cb550676d89d187061db7d018af9ec88d

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
index 66b5295..dcf7c8f 100644
--- a/examples/GArrowTikZ.hs
+++ b/examples/GArrowTikZ.hs
@@ -230,10 +230,6 @@ mkdiag (GASPortShapeWrapper inp outp x) = mkdiag' x
                              ; (_,      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
-                             ; simpleDiag   ("const " ++ show i) top x y bot [] }
  mkdiag' GAS_copy       = do { (top,(TT y z),bot) <- alloc outp
                              ; (_  ,      x ,_)   <- alloc inp
                              ; constrainEqualSpace (lowermost y) (uppermost x) (lowermost x) (uppermost z)
@@ -243,8 +239,6 @@ mkdiag (GASPortShapeWrapper inp outp x) = mkdiag' x
                                                       drawWires tp ((x1+x2)/2) x x2 z "black"
                              ; return $ DiagramBox 2 top x r (TT y z) bot
                              }
- mkdiag' GAS_merge      = do { (top,(TT x y),bot) <- alloc inp 
-                             ; simpleDiag     "times" top (TT x y) x bot [] }
  mkdiag' GAS_swap       = do { (top,(TT x y),bot) <- alloc inp
                              ; (top,(TT x' y'),bot) <- alloc outp
                              ; constrainEq (T (lowermost x)) (T (lowermost x'))