Sounds like a bug in the TR optimizer. I'll look into it. Vincent
On Sat, 31 Oct 2015 20:52:01 -0500, Matthew Flatt wrote: > > I've finally been able to track down this bug. It's due to a misapplied > unsafe operation in the Typed Racket optimizer, and that bug is > triggered when compiling "midi-readwrite" --- which is why it's so > consistent for you and not seen by others who don't have the package > installed. > > In the TR implementation, changing `unsafe-Req-seq` to use `Rep-seq` > instead of `unsafe-struct*-ref` produces the error > > Rep-seq: contract violation > expected: Rep? > given: #f > compilation context...: > ..../pkgs/midi-readwrite/midi-readwrite/midi-read.rkt > context...: > ..../typed-racket/types/subtype.rkt:238:0: subtype* > .... > > At Tue, 20 Oct 2015 12:05:00 -0400, "'John Clements' via dev-redirect" wrote: > > Just got a seg fault while running setup, apparently during a call to > > fast_equal_hash_key. > > > > Here’s a gist of the crash report: > > > > https://gist.github.com/jbclements/a8601a360881b5826138 > > > > Here’s a gist of the terminal output: > > > > https://gist.github.com/jbclements/b2c262c81ef36ab01377 > > > > I’m building commit dfab18fe4729e71f53d0056572e3f85a72467247 > > > > (though in principle this could depend on the commit that all of my cloned > > trees are on, too…) > > > > I’m just going to try building again. > > > > John > > > > > > > > -- > > You received this message because you are subscribed to the Google Groups > > "Racket Developers" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to [email protected]. > > To post to this group, send email to [email protected]. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/racket-dev/7ccdc730-097a-4d8d-ae6e-3804bc7f9d > > e1%40mtasv.net. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/56357047.a1fb440a.8cd5e.ffffc2d6SMTPIN_ADDED_MISSING%40mx.google.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m2egg9ddq7.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
