The vty repo and SHA I am using are: g...@github.com:coreyoconnor/vty.git 76d91e3ac22fd8dee7c0ae848139f42f6a4f9c4c
I just pushed the changes required to vty-5.0 branch on yi-editor/yi.git: 949ee6f16846d7a4d04c108108f0cebdd5816dda There is some sketchy code in vty for serialization. If this code is responsible for memory corruption then I'd expect the issue to be present in vty 4.7 as well. This code hasn't changed since that release. I'll probably replace this with Writer from blaze-builder. I would like to have some data indicating whether this will resolve the bug. Cheers, Corey -Corey O'Connor coreyocon...@gmail.com http://corebotllc.com/ On Sat, Jan 25, 2014 at 11:16 AM, Mateusz Kowalczyk <fuuze...@fuuzetsu.co.uk > wrote: > On 25/01/14 19:14, Michał J Gajda wrote: > > Hi Corey, > > > > It seems that vty 5.0 is still unreleased on Hackage, and I didn't find > the > > 5.0 tag in vty GitHub repo. > > Could you tell which vty version are you pointing to? > > -- > > Best > > Michal > > > > On Friday, January 24, 2014 11:55:09 PM UTC+1, Corey O'Connor wrote: > >> > >> > >> I can only reproduce the crash using vty 5.0 and not 4.7. I'm not sure > >> where on the cause/correlation spectrum that relationship is. > >> > > > > The HEAD version on GitHub is tagged as 5.0 in the cabal file so that's > probably safe to use. That's what I was trying at least. > > -- > Mateusz K. > > -- > -- > Yi development mailing list > yi-devel@googlegroups.com > http://groups.google.com/group/yi-devel > --- > You received this message because you are subscribed to the Google Groups > "yi.devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to yi-devel+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. > -- -- Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel --- You received this message because you are subscribed to the Google Groups "yi.devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to yi-devel+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
