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
>
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._typed-racket%2Fbase-env%2Fbase-types..rkt%29._.Ext.Fl.Vector%29%29
this example is about ExtFlVector which is not
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)?
> >
> >
>
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 wrote:
> At Sat, 9 Jan 2016 08:34:45 -0700, Matthew Flatt wrote:
>> At Sat, 9 Jan 2016
In TravisCI, building with the "main-distribution" packge, the
versions in linux that don't have "--disable-jit" finish corretly just
a minutes after an hour. (I think the official max time is 1 hour, but
apparently there are some bonus minutes.)
The versions with "--disable-jit" take longer and
Yes, right. This is why I suggested drdr.
Robby
On Sat, Jan 9, 2016 at 11:38 AM, Sam Tobin-Hochstadt
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,
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
Oh, I see the alternative solution for #1.
https://github.com/racket/typed-racket/pull/288
Your discussion there is delightful.
Thanks.
On Sun, Jan 10, 2016 at 2:51 AM, Robby Findler
wrote:
> Yes, right. This is why I suggested drdr.
>
> Robby
>
> On Sat, Jan 9,
8 matches
Mail list logo