I have this issue in Racket 6.8.0.1 this morning, the project is compiled by compile-directory-zos, and all .zos are ensured up-to-date. Before I gave up, I had wrote a simple tests in DrRacket, lucky to saw the root cause, a contract error in the body of the newly added typed class, but the issue was reported with two totally irrelevant modules.
On Sat, Feb 4, 2017 at 9:31 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > This is the commit: > > https://github.com/racket/drracket/commit/81d74e484c306c3584030cf8ede298 > 25c0e8be1a > > I pushed it around the time 6.5 was released and it is the kind of > thing I would do right after a release branch has been created, so > probably it was only 6.6 and later. > > Robby > > > > On Fri, Feb 3, 2017 at 7:15 PM, Dan Liebgold > <dan_liebg...@naughtydog.com> wrote: > > On Saturday, March 26, 2016 at 4:53:51 PM UTC-7, Robby Findler wrote: > >> Matthew and I have figured out one way in which DrRacket could go > >> wrong here and implemented a better strategy. The problem we > >> identified doesn't explain the symptoms expressed here in this thread > >> exactly, but it is a complex system and maybe there was some piece > >> missing from the explanations that I didn't think to ask about. > >> Finger's crossed that it helps! > >> > > > > I was getting this error and variations on it somewhat often in version > 6.5. Do you think upgrading to 6.8 will help? > > > > Thanks, > > Dan > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users+unsubscr...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
