When this happens, it's usually a bug in Typed Racket caused by depending on hash table ordering, so it would be great to find and fix it.
On Thu, Apr 2, 2020, 3:43 AM hashim muqtadir <hashim.muqta...@gmail.com> wrote: > > I am thinking its deeper because the code sometimes compiles. >> > > Yes, this happens with me too. I haven't tried it using raco but in > DrRacket, while I > was fiddling around with these classes, it would sometimes fail to > compile, but > I just used to erase what I wrote, and then re-write, and it would work. > > Once compiled it seemed to work fine. > > But I believe they're separate problems. > > I'll try to be more diligent about reporting issues with typed classes > next time. I used to run into > problems similar to what I reported in this thread previously, too, on > whatever version of Racket > was out a year or two ago, but I was throwing away and rewriting code > quickly and it > was hard to come up with minimal examples at the time. > > This one reproduced very reliably and I wasn't really making big changes > so I was able to > report easily. > > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/b3199035-27c9-4549-890d-0a4aac48d924%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/b3199035-27c9-4549-890d-0a4aac48d924%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BZ_DaS2K8u5VGKtZ0WUP8784dFKOU0XfZG%2BETAAYGgPvw%40mail.gmail.com.
