mkdiag' GAS_copy = do { (top,(TT y z),bot) <- alloc outp
; (_ , x ,_) <- alloc inp
; constrainEqualSpace (lowermost y) (uppermost x) (lowermost x) (uppermost z)
mkdiag' GAS_copy = do { (top,(TT y z),bot) <- alloc outp
; (_ , x ,_) <- alloc inp
; constrainEqualSpace (lowermost y) (uppermost x) (lowermost x) (uppermost z)