I tried it with the newest snapshot and now I’m getting these errors that you got, which tell me that there has been a problem introduced in Typed Racket since a week ago: Welcome to DrRacket, version 6.2.0.2--2015-04-14(7fb5e69/a) [3m]. Language: typed/racket/base; memory limit: 2048 MB. . ../engine/shape/polygon.rkt:490:21: Type Checker: type mismatch expected: (U Nonnegative-Float False) given: Flonum in: time . ../engine/shape/polygon.rkt:511:19: Type Checker: type mismatch expected: (U Nonnegative-Float False) given: Flonum in: time . ../engine/shape/polygon.rkt:490:21: Type Checker: Summary: 2 errors encountered in: time time
On Apr 14, 2015, at 5:15 PM, Alexander D. Knauth <alexan...@knauth.org> wrote: > It says, version 6.2.0.2--2015-04-07(23ec573/a) [3m], but I also updated the > drracket, gui-lib, and scribble-lib pkgs from the github repos since then to > get the blue-boxes updates. I have pict3d installed as a link that points to > my clone of pict3d. > > I’ll see if I can replicate it with the newest snapshot DrRacket and pict3d > from the package server. > > Alex Knauth > > On Apr 14, 2015, at 5:08 PM, Robby Findler <ro...@eecs.northwestern.edu> > wrote: > >> Oh! that's different than what I had understood. Thanks for >> clarifying. I wish I could reproduce it, tho. Can you say more about >> exactly which version of drracket you're using and how you installed >> pict3d? >> >> Robby >> >> On Tue, Apr 14, 2015 at 3:20 PM, Alexander D. Knauth >> <alexan...@knauth.org> wrote: >>> I open DrRacket, then open pict3d/private/gui/typed-pict3d-combinators.rkt, >>> and then I wait a few seconds. >>> >>> The background expansion dot in the bottom right corner of the window starts >>> blue, then goes to purple, and then a second or two after that, I get the >>> "rainbow spinning wheel of death” for the mouse pointer, and it won’t let me >>> do anything. >>> >>> I get “Application Not Responding" when I right click on the icon in the >>> dock, and if I try to type something, select something, open a menu, click >>> some button, or even close the window, it won’t work, and I have to tell my >>> computer to force quit DrRacket and restart it. >>> >>> This happens every time I open that file with background expansion turned >>> on, and it doesn’t happen with background expansion turned off. >>> >>> >>> On Apr 14, 2015, at 10:51 AM, Robby Findler <ro...@eecs.northwestern.edu> >>> wrote: >>> >>> Sorry-- I think I am missing a step. How do you get into the "purple button >>> is not going away" state in drracket? And is that the only bad behavior you >>> see? >>> >>> Thanks, >>> Robby >>> >>> On Tuesday, April 14, 2015, Alexander D. Knauth <alexan...@knauth.org> >>> wrote: >>>> >>>> Is it freezing, without giving me any errors or stdout messages. >>>> >>>> But when I open pict3d/private/engine/shape/polygon.rkt, everything works >>>> fine, the background expansion works, the check-syntax works, and it >>>> type-checks and runs fine. >>>> >>>> >>>> On Apr 14, 2015, at 7:07 AM, Robby Findler <ro...@eecs.northwestern.edu> >>>> wrote: >>>> >>>>> When I install pict3d and open it in a recent DrRacket, I get type >>>>> errors in that file via online check syntax that match what I get when >>>>> I run the program, namely: >>>>> >>>>> Welcome to DrRacket, version 6.2.0.2--2015-04-11(7fb5e69b/d) [3m]. >>>>> Language: typed/racket/base [custom]; memory limit: 256 MB. >>>>> . ../engine/shape/polygon.rkt:490:21: Type Checker: type mismatch >>>>> expected: (U Nonnegative-Float False) >>>>> given: Flonum in: time >>>>> . ../engine/shape/polygon.rkt:511:19: Type Checker: type mismatch >>>>> expected: (U Nonnegative-Float False) >>>>> given: Flonum in: time >>>>> . ../engine/shape/polygon.rkt:490:21: Type Checker: Summary: 2 errors >>>>> encountered in: >>>>> time >>>>> time >>>>> >>>>> I guess you see something else? >>>>> >>>>> >>>>> On Tue, Apr 14, 2015 at 5:31 AM, Alexander D. Knauth >>>>> <alexan...@knauth.org> wrote: >>>>>> I did try that, but no. >>>>>> >>>>>> On Apr 14, 2015, at 3:03 AM, Robby Findler >>>>>> <ro...@eecs.northwestern.edu> >>>>>> wrote: >>>>>> >>>>>> Do you see a message appearing in stdout of DrRacket? (It would be in >>>>>> console.app on a Mac.) >>>>>> >>>>>> Robby >>>>>> >>>>>> On Monday, April 13, 2015, Alexander D. Knauth <alexan...@knauth.org> >>>>>> wrote: >>>>>>> >>>>>>> DrRacket is freezing on me a lot, but I’m not sure if it’s because of >>>>>>> a >>>>>>> problem in DrRacket, Typed Racket, Pict3d, or something else. >>>>>>> >>>>>>> If I open DrRacket, open >>>>>>> pict3d/private/gui/typed-pict3d-combinators.rkt, >>>>>>> which is a typed racket file, with background expansion turned on, if >>>>>>> I wait >>>>>>> a few seconds, then DrRacket freezes, and the background expansion dot >>>>>>> in >>>>>>> the bottom right corner is on purple, which according to the docs >>>>>>> means it’s >>>>>>> computing check-syntax information. >>>>>>> >>>>>>> It was working great yesterday, but I didn’t update DrRacket, Typed >>>>>>> Racket, or Pict3D, since then. (I did make some changes to the file >>>>>>> yesterday, but it was working fine then, and when this started >>>>>>> happening >>>>>>> today I switched it back to the branch without my changes, and it was >>>>>>> still >>>>>>> freezing on the background expansion. >>>>>>> >>>>>>> >>>>>>> -- >>>>>>> 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.
