Yes, right. This is why I suggested drdr. Robby
On Sat, Jan 9, 2016 at 11:38 AM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > We do run the core racket tests without exflonums on Travis; you can > see an example here: > https://travis-ci.org/racket/racket/jobs/101270780 > > Unfortunately, building all of Racket + everything else takes more > time that various hosted CI systems allow. If there was a build of > Racket without extflonums, then the Typed Racket CI could test that, > but there are a lot of different configurations to test, and that > requires individual per-package effort. > > Sam > > On Sat, Jan 9, 2016 at 11:13 AM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> Could this problem be helped if we run something like drdr, but in >> more configurations? (That doesn't seem particularly simple, tho.) >> >> Robby >> >> >> On Sat, Jan 9, 2016 at 10:07 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: >>> At Sat, 9 Jan 2016 08:34:45 -0700, Matthew Flatt wrote: >>>> At Sat, 9 Jan 2016 22:58:00 +0800, WarGrey Gyoudmon Ju wrote: >>>> > 1. Could you please treat the exn:fail:unsupported like a normal case as >>>> > if >>>> > it is wrapped by (eval:error)? >>>> > >>>> > >>>> http://docs.racket-lang.org/ts-reference/type-ref.html#%28form._%28%28lib._type >>>> > d-racket%2Fbase-env%2Fbase-types..rkt%29._.Ext.Fl.Vector%29%29 >>>> > >>>> > this example is about ExtFlVector which is not supported in my >>>> > openindiana >>>> > box. >>>> >>>> Treating an `exn:fail:unsupported` error as if wrapped by `eval:error` >>>> sounds reasonable to me. >>> >>> On further reflection, that seems like a bad idea --- repeating the >>> mistakes of `scribble/eval`. >>> >>> I think it's better in this case to adjust the documentation. I don't >>> have a good idea on how to prevent this kind of problem in the future, >>> though. >>> >>> -- >>> 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.
