From d28d42a46f2abce36b2e642f9cc65f49252edb5e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 26 Apr 2011 18:44:36 -0600 Subject: [PATCH] fix validator bug (to allow flonum-consuming proc to be cleared) Closes PR 11879 --- .../tests/racket/benchmarks/common/deriv.o1 | Bin 0 -> 14688 bytes src/racket/src/eval.c | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100755 collects/tests/racket/benchmarks/common/deriv.o1 diff --git a/collects/tests/racket/benchmarks/common/deriv.o1 b/collects/tests/racket/benchmarks/common/deriv.o1 new file mode 100755 index 0000000000000000000000000000000000000000..effb9a3620a4117bc2f1b673f8d28b813b745e1c GIT binary patch literal 14688 zcmeHOadcGGnSTS5Fu;@vJXsjp^quJkg@Aqcj zyqS=4wtwyEJAV0n_rCjm_q*SB?|1KgBd0E&`)Z1!D3d`B&{WVy6zo77$c{guQ2FYO z^(t)dW4N;acTJB?x}RMQ%5X=vKQ6;>N6 zXDiA&ydyL}W__VhTT@3vQ*EfBX>&6gS#=zOY$@sqX}p=9qz{S;$_q>_yx`p+M#G0m zAJlFO*Wx`tp-{R!`J3d;Hgj_Up-^pgv^rU1)!~Kgc_&l=$^V(2P-s(YtLa6Wj`@nR zi{G1d*i16SF9U@_Woz!gZ*|ccV=nknNj?BpVd9Vv%yI~^;sF(vynnFtp6Kq2w(ozg z{%GMtbEJrn3xFT*2|#ZyUXp)EPuWsMxf1AyF@AJ39efZ(&rBxj{|b=V4ir-!k~cq< z=;vKjz?I4p5cMTvLRxIf!nW3yh2e%xL|bZVLahrHEkJY|HsP&R#%`mTmMZh$w$^A} z$J`iQHl*Y)Lfq$_1Q)J!||6NorkuX_#3+q zd_3q@XQ~g_wfi0MU=_3W_?{l9mZc5OtRAcab&^_WKTJJpxjqdVW3M}o3#|`nMLxT_ za~o;fISc(BUth7|!Proq(dSdBi|z0Q6j#@UYan0b3upn4TI6$R%Y8ZMCZM%1!8?x@J3SX#dfa$z7h;9Ww9+YK?^B!DV`WOzBg`mXp~W7i zF&>(WAnEr|e_kimKsL+Nbf&W zJ-Uu`j^p z4)xR6xvAv3{76pwY+=mVPRpQk$(1!QNP4OLI%<}+2gX^gz8j5Vy+T_=9(2xE}}X}c4;ECGFA>ZE0mIxj>(hp`L? zU*j;+b^`@ir9A(<)MIkd35nMrVYn+gPydj{*PKHOr`{&IIz&P+-)Q9O{<-uL2U%;( zLMI3^b(a!kS1j-qmK@Fe0GX1(-T->nuc20H1CluA`J2^k?avP8oUU8)D&^r)ng#A!-?>>UI(YGw2sV7b!iMVoGNQQ;Hx3 z=LC8K<_sRl(;{~LO467J12W;xVjIG&{hl+Ie#xz&nBF`3FAr1qB@7&am7Y!3Au+DouT^Ec!ei!@cU@aos4IwW-0 z<4;MS*|YqVax<){A*8&)Xfm3HTOAX{G?=bX^!^OxP;(xsN;OgBk#;nS^}1;v+d%Cp zV_+YrBq*k@$by)@lm%(LcejeIGb@s=OMOe93l)IJX{;qqF`c1Xt^?GmeKG^L&D08$ z*|+N#)SQ+`#b`2HqcV|zj+8bSS9gFGv}r)y3+0hT3}~ET$c^;S z_`}fqU2+im$%|uS($ z)zo|@&JOwvbc+z`voBycGzSr&#GuLbCQB@nXgm3wXD_VaWGbIgV zozCm=wH~d)!&3%|XOQA`wq(VZIMGoBOioq~Q)NpQyh&@_xC&5{prbb+?g8pCB;ekF zaRZ=c@(uv|u;F;%QCtu%>n0#)WFS3UB8OJs>}ncKFBSxRKPKEYRoE*|?MWY=C%=5G z6^kSF;7sja8y`F2hNr2MH8%J+Cs`RMfm7O=Ea3)+w@NDAIRx8}`4kupcs3p$$TDlo~)Cxx&`)!dgHzh*Tq;gWFmN-}h z;8sga5xPKWVI7^yJ!(gy72>6Km|C5oR*%rBM(DzwTdkn08&*q@1}j!e@_x`Y@Cjy& z$VJQRy=^nl(s>lFRrEI~s54Q>QM19j)%Bz`S6hH8dsZju6p5ZDUZA(I%$(G6DXEQM$H75E|Kv-t zn_0n-WFWbiBkG^UxZjb2LxDwNBayL@wV?J(c6T4u;fQoYoC306k9M2f|ns z;s}Bs+>~h0mp*{=vdpZh{jNtn`pq%=l~bBJ6^9KT-FQR0j{1YO^I#Mv`5|hKX$x7p zB$z$nB~N^ayRMN)q?j04&!tDEzX~z7UGK+{K)Y2KH^9avlC-hMQhjQIro^sylbXz% zkFYL?_wfpke(`g|Rq1D>Qm5R9et|$hn6kNpmmp zU5j1qr#@0wl<4Cc?ql$2)+DEJXF`o}q^=ZW4Wz5lPh;mCT$v(XMa_g2hPXV<1T%>5 zrHwaz8j4fK7J64f*BK|R%fI^&Qz|tmJ!Gg@)f^O8>@BPiVQhqYOPyZ&tUgCv3nce??lR+XwQx#`Icn*z9FVdi*XCvlWLa8fZwJ%<80hD;~YL2 z{PZJXr2NP$-FGO}ed2T7L#QM7;e*`GV$?lUf%$0}x!j;`!%M*pF4j8e0#1GqbKNuK+8TrZ7{?14}NcLvzAUIV%Y_$5p36wr8RQV7=`s!MsMFoBMjSc z=YONC_t2g)K2*FYT%qRyHfDSj|Kzn^W#C0Bn}w>m<2l$>>lnvt`9oYqD- zR5+`L8j-WUlh#OhR5+`TJJcg-jf6+3w*jNKGPFrJwC$RNGq<|n$mlfTM4dKn8Ld8= zrZ9lqfa%+tdil;lZl%2sjTHU2_=9HpQ%D)=JMfN}6MML0y7FVn;Vc19CN4-GRzM3x zKaiMg5grlsD)XIL$lU8-i&l{<4fN{I$nR(7ok&S^@1^eX*_W3e)u$#r8VK1jxWwQx zjF=3LZy3|=MeNUGxh^ksy1KsiTd}YLYGfHYai~F$x|NRSPBrLL>*s>Qr6&)NqXzu| zj~ZMucm=d4?{Rv;AK zFY1*W6^srKctle1&Qp{JsLaosWcZ)p`5}yPpo1#VkMLU`J+FYLv%qZ7i=aL^4CU9r zZ_sfJbPm*pbL6|A>oEvAhKE3>KvQt@Sq0h)`Z?%#pa<}S^ajv#pcA0CK<&7!J_C9l z^eJf0*A&GEY6a~DodunvGQK}N0lE`knDRmM@G)!w=mn4)U-0rkXFxjWReZuM#8>TY z_;CL$$cA4!rh>wt$3cboxhD?#A?PL0WcpggTBdr`CH&w z(C=zp%4{vPiy z&6~}jFsL209kde^19gKm&>ql}puHgLvk!ID{#np|&_930roe6&$dzax~ zYx`NlQowjWi+)VtV)&5{|y=Iro^-sBt zo{91i`Pf4_M)lY(mG`)w^cehN)Z_RgWN!iDm5{v+JTAh5UkKi4 zZ%J4+G!JptBYA zHQZ(k(2#u;ykUPc_)M}f)OUc${%-;e*}nllk^LIl81_F0{s|E2`8Lqd^Avc){%62v zvf*Xa{{Td?{|Gc>Uj%R1|1aP($sR}jt00p73DA)JDfo%(|97-8?0*mZ+aS{OA3#IT zY4C>qzXqSlhEGuc8xYBU05oI=!5j8}1U{4OWTejvEc=B?b`1PP_D_ebVgGFKE)dyp zCD5?pYVd~r*MiSv!(!Cm2qM{AfQIaC;0^m1g3ly-59*hKNH!m6$gTo^Df=!coFQbof zE@K{}pK%G}GR75*0mdT6QpPgIAY(b>M#f6UD#lvIdd4tggfYsvm2n4SCu0}mF2>!A zdl;W&+{?I+aX;e$#upe5G9F_5SH{DPM;Ln;UuQhQc#^S?@t2IhV(e!eU_8TkmT`!2 znDIR02;(TDf^SYX%ojVOgVD{H!{}kmW%M%o80RwPG5Q&oFfL7>au?V;uvNJpj-UshWtAD=>EF05VE!=p0_N%4_FCpw+7+da_$)>7diiby zJ^+3f*AIYynt93#FECGQ_!Z{qLV1jN`j&pmsGqMW|3!Q@^n-t&`2hHH%y)wSocROb zr`hD${$|)lW5R#p@#0^BHP(kVwKdg->q7N))!6nG`loK8)@a+N(58l_TKuCuya-3| z0{?=IUTtn`stJXgn;&h9pelrakJk_lMOvC`M5#3G_#lKrjny^vMh_&_*j(F&K5Oe* zYe;h_R3F|H4n;SG7u>OE$sM9*OSn1IRNYwDDoU-}8cii`EZ)>KwUVIVn>W`c_^`B( g)EKWxiNS}PYpTPcEv?b&Xq}L?o_kUq0S74m3%+3jQ~&?~ literal 0 HcmV?d00001 diff --git a/src/racket/src/eval.c b/src/racket/src/eval.c index 8ca6d3e318..f0a367160a 100644 --- a/src/racket/src/eval.c +++ b/src/racket/src/eval.c @@ -12491,7 +12491,7 @@ void scheme_validate_expr(Mz_CPort *port, Scheme_Object *expr, } } - if (procs && !proc_with_refs_ok) { + if (procs && !proc_with_refs_ok && !result_ignored) { if (scheme_hash_tree_get(procs, scheme_make_integer(p))) scheme_ill_formed_code(port); }