From e5df1c31ddb0fb483ab52f86c3471c677f5f422d Mon Sep 17 00:00:00 2001
From: Mike J Innes <mike.j.innes@gmail.com>
Date: Tue, 6 Jun 2017 17:15:22 +0100
Subject: [PATCH] batch vcat

---
 src/Batches/catmat.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Batches/catmat.jl b/src/Batches/catmat.jl
index e91e9b75..0289b5f2 100644
--- a/src/Batches/catmat.jl
+++ b/src/Batches/catmat.jl
@@ -60,6 +60,8 @@ rawbatch(xs::Batchable) = rawbatch(storage(xs))
 size(xs::Batchable) = size(storage(xs))
 getindex(xs::Batchable, i) = getindex(storage(xs), i)
 
+Base.vcat{T<:Batchable}(xs::T, ys::T)::T = vcat(rawbatch(xs), rawbatch(ys))
+
 typerender(B::Type) = B
 typerender(B::Type{<:Batchable}) =
   Row(Juno.typ("$(typename(B).name)"), text"{", typerender(eltype(B)), text"}")