I just tried with the ghc-7.8 branch on both Linux and Mac 64bit. The issue still occurs. The ticket states x86-64 architecture and Unknown/Multiple for platform.
-Corey O'Connor coreyocon...@gmail.com http://corebotllc.com/ On Wed, Jan 29, 2014 at 11:12 AM, Mateusz Kowalczyk <fuuze...@fuuzetsu.co.uk > wrote: > On 29/01/14 18:16, Corey O'Connor wrote: > > One of my systems (Mac, GHC 7.6.3 64 bit) is encountering a crash > > immediately on start. No vty code has been executed in this case. > According > > to valgrind the stack is the same: crash at evacuate1 in the GC. > > > > I've reproduced the lint failure with a small example separate from Yi: > > > > https://gist.github.com/coreyoconnor/8693470 > > > > This only fails when compiled ghc -O -debug -dcore-lint Main > > > > The core lint error also occurs with GHC HEAD compiled at 2013/12/12. > > > > For now I just filed this as a bug. I figure any core lint error is a bug > > in GHC. *shrug* > > > > https://ghc.haskell.org/trac/ghc/ticket/8714 > > > > I'll see about working around this. > > > > Cheers, > > Corey > > > > -Corey O'Connor > > coreyocon...@gmail.com > > http://corebotllc.com/ > > > > > > I tried with HEAD I built earlier today and it doesn't seem to occur. > Try with HEAD and if it still occurs, it's probably worthwhile > mentioning your platform and whatnot. > > > -- > 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.
