No subject
From: ()
Date: Fri Jul 13 09:02:16 EDT 2012 |
|
as libffi as initially was not found by the dynamic load. After adjusting
version in mpfr.rkt. Test produced pi ... 4888
Applicable lib version on Ubuntu 12.10.
/usr/lib/x86_64-linux-gnu/libmpfr.so.4
/usr/lib/x86_64-linux-gnu/libmpfr.so.4.1.0
raco setup: WARNING: undefined tag in math/scribblings/math.scrbl:
raco setup: ((lib "math/main.rkt") dist-pdf)
raco setup: ((lib "math/main.rkt") untyped-prev-prime)
raco setup: ((lib "math/main.rkt") factorial)
raco setup: ((lib "math/main.rkt") mod)
raco setup: ((lib "math/main.rkt") beta-dist)
raco setup: ((lib "math/main.rkt") untyped-next-prime)
raco setup: ((lib "math/main.rkt") gamma-dist)
raco setup: ((lib "math/main.rkt") flexpt1p)
raco setup: ((lib "math/main.rkt") normal-dist)
On Fri, Nov 16, 2012 at 1:59 PM, Neil Toronto <neil.toronto at gmail.com>wrote=
:
> I've just made the initial commit for the math library. You will all
> notice the build time increase. Some will notice that "(require math)"
> imports a bunch of goodies that Racket didn't have before.
>
> About half is documented so far, and half has coverage in the test cases.
> Some things are known to be broken, but not many. The most egregious, whi=
ch
> needs to be fixed very soon, is this one:
>
> *****
>
> Because of recent changes to how Typed Racket deals with Any types at
> the contract boundary, typed/rackunit cannot now test higher-order
> values, such as arrays.
>
> *****
>
> A practical consequence is that "math/tests/array-tests.rkt" simply
> doesn't run.
>
> One thing I'm not sure of is whether the FFI to libmpfr works on all our
> supported platforms. Could I have all the devs run the following program
> after your next compile?
>
> #lang racket
> (require math/bigfloat)
>
> (parameterize ([bf-precision 8192])
> pi.bf)
>
> Then reply with the last four digits printed. They should be "4888". If
> the program doesn't run because Racket can't load libmpfr, it's an
> opportunity to test the documentation. Please see if I've made the docs f=
or
> the `math/bigfloat' module clear enough to help you fix the problem.
>
> Thanks!
>
> Neil =E2=8A=A5
> _________________________
> Racket Developers list:
> http://lists.racket-lang.org/**dev <http://lists.racket-lang.org/dev>
>
--14dae9340435e0128b04cea62a58
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<div>From the cheap seats. =C2=A0Built clean. =C2=A0Except for warning belo=
w. =C2=A0Test failed as libffi as initially was not found by the dynamic lo=
ad. =C2=A0 After adjusting version in mpfr.rkt. =C2=A0 Test produced pi ...=
4888=C2=A0</div><div><br></div>
<div>Applicable lib version on Ubuntu 12.10. =C2=A0<br></div><div><div>/usr=
/lib/x86_64-linux-gnu/libmpfr.so.4</div><div>/usr/lib/x86_64-linux-gnu/libm=
pfr.so.4.1.0</div></div><div><br></div><div><br></div><div>raco setup: WARN=
ING: undefined tag in math/scribblings/math.scrbl:</div>
<div>raco setup: =C2=A0((lib "math/main.rkt") dist-pdf)</div><div=
>raco setup: =C2=A0((lib "math/main.rkt") untyped-prev-prime)</di=
v><div>raco setup: =C2=A0((lib "math/main.rkt") factorial)</div><=
div>raco setup: =C2=A0((lib "math/main.rkt") mod)</div>
<div>raco setup: =C2=A0((lib "math/main.rkt") beta-dist)</div><di=
v>raco setup: =C2=A0((lib "math/main.rkt") untyped-next-prime)</d=
iv><div>raco setup: =C2=A0((lib "math/main.rkt") gamma-dist)</div=
><div>raco setup: =C2=A0((lib "math/main.rkt") flexpt1p)</div>
<div>raco setup: =C2=A0((lib "math/main.rkt") normal-dist)</div><=
div><br></div><div><br></div><div><br></div><div><br></div><div class=3D"gm=
ail_extra"><br><br><div class=3D"gmail_quote">On Fri, Nov 16, 2012 at 1:59 =
PM, Neil Toronto <span dir=3D"ltr"><<a href=3D"mailto:neil.toronto at gmail=
.com" target=3D"_blank">neil.toronto at gmail.com</a>></span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">I've just made the initial commit for th=
e math library. You will all notice the build time increase. Some will noti=
ce that "(require math)" imports a bunch of goodies that Racket d=
idn't have before.<br>
<br>
About half is documented so far, and half has coverage in the test cases. S=
ome things are known to be broken, but not many. The most egregious, which =
needs to be fixed very soon, is this one:<br>
<br>
=C2=A0 *****<br>
<br>
=C2=A0 Because of recent changes to how Typed Racket deals with Any types a=
t<br>
=C2=A0 the contract boundary, typed/rackunit cannot now test higher-order<b=
r>
=C2=A0 values, such as arrays.<br>
<br>
=C2=A0 *****<br>
<br>
A practical consequence is that "math/tests/array-tests.rkt" simp=
ly doesn't run.<br>
<br>
One thing I'm not sure of is whether the FFI to libmpfr works on all ou=
r supported platforms. Could I have all the devs run the following program =
after your next compile?<br>
<br>
=C2=A0 #lang racket<br>
=C2=A0 (require math/bigfloat)<br>
<br>
=C2=A0 (parameterize ([bf-precision 8192])<br>
=C2=A0 =C2=A0 <a href=3D"http://pi.bf" target=3D"_blank">pi.bf</a>)<br>
<br>
Then reply with the last four digits printed. They should be "4888&quo=
t;. If the program doesn't run because Racket can't load libmpfr, i=
t's an opportunity to test the documentation. Please see if I've ma=
de the docs for the `math/bigfloat' module clear enough to help you fix=
the problem.<br>
<br>
Thanks!<br>
<br>
Neil =E2=8A=A5<br>
_________________________<br>
=C2=A0Racket Developers list:<br>
=C2=A0<a href=3D"http://lists.racket-lang.org/dev" target=3D"_blank">http:/=
/lists.racket-lang.org/<u></u>dev</a><br>
</blockquote></div><br></div>
--14dae9340435e0128b04cea62a58--
![[logo]](/logo.png){kind=logo}