From 7e48db0a8299d39aff55a8caeba7feedf7bedfad Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 5 Feb 2009 01:42:00 +0000 Subject: [PATCH] PR 10042 (plus some fixes to earlier Stevie-submitted PRs that werent quite right) svn: r13447 --- collects/redex/private/bitmap-test.ss | 10 ++++ .../redex/private/bmps/metafunction-T.png | Bin 3496 -> 3494 bytes collects/redex/private/bmps/metafunction.png | Bin 1081 -> 1072 bytes .../redex/private/bmps/reduction-relation.png | Bin 1752 -> 1751 bytes collects/redex/private/core-layout.ss | 49 ++++++++---------- 5 files changed, 31 insertions(+), 28 deletions(-) diff --git a/collects/redex/private/bitmap-test.ss b/collects/redex/private/bitmap-test.ss index 979014f678..6607ed5752 100644 --- a/collects/redex/private/bitmap-test.ss +++ b/collects/redex/private/bitmap-test.ss @@ -92,5 +92,15 @@ (render-metafunction Name)) "metafunction-Name-vertical.png") +(define-metafunction lang + [(multi-arg a + b + c) + (multi-arg a + b + c)]) + +(test (render-metafunction multi-arg) "metafunction-multi-arg.png") + (printf "bitmap-test.ss: ") (done) diff --git a/collects/redex/private/bmps/metafunction-T.png b/collects/redex/private/bmps/metafunction-T.png index 4018763f20b51146b64b22e3648766379c8542bc..2189f73dd295b2168273a3c9016229cdbccbfb84 100644 GIT binary patch delta 3331 zcmV+e4gB(`8>SnOB!6v5L_t(|ob8)?SQA$kz;8kV36B8bp$G>p#(kc2P+A_nsN_~XvanRCva!_3@!&m0t=&liiuKn`79U4IM)Bj5k20YOlIf4@e! zswU9$=FKxugo}$yNJvP2e!jQ2H{5vt{{67cR8>`-J$u&9&TjACy>KHdD{JK57Z(?M zczD#-){b121|$B1pMU-tjYdlj=ggT?TwDx6kfbqk)~s1`^5jYB#z<&sX{oHN1OPmJ z`gAnB(^N1h6n_eiCESo4ssj`XC9yJcLsnK+78Vwx;g@EE9%~1*j1<*EC=!XTUcG8% zW%c~|^Xu2IySceFG&IPIRa8`XdU_@%CQ8}}^;c9>SjaJV?p&3eoM@;vk;7mxOP4Oa zdi82bN=isb$kV4!6^i-z_#`AGL`O$cC=?$bpRd3E8g8NfFTVKVx8Ht~>D1NLRmsVT z#&G81etv$ZPMrz}2v8!kV8H?|ms?j?XKQQg=;(-0GY*Hdv$Gq9OB0#lgs`iti%zF2 zm(kJDnLmGiX=$mAjm^rHD-mj@(P$etZj|YCaBwIrEF6ZP69kn*lMn(Pf3&2puWw07 z$(Ai!3=9kqDtB;jICbijOsA65MIw=^{*OOYn9h`ym3eu2ak<=?GiNSezC1QI7T(q= zE-sFUh@eubGV<>3?%mzp{{H^RO%Mo#zsTX{=B7}%y}dmpB?SO*_Uzd=Z{8rcGS2w( zE({9`3kwTVBI@VoS5i`9e{5_F07y?y7l}mhL}TmLtt1j@>eQ(+@-JV$Jb(VY8hrkM zg@px$LZMJ7>NBAcD7y>G%ggC>x>ziR8v=mKF_LJjY=$7-}2QgaZXZkis8cym-Oke{cW*SS(g36aoNd z%$R}4BpqtT+GqLPx5q}LM7&CRW?tW!9RfHZ`zuCCtR z-fDFP0Pwb*`Kb1}f4Z%x!)_a^t*XT!nxe_XrzYw691)TCFPf_d;8U^SMzwh z@4x?^NF-jqd>H^hrBVX|0^m!-%@TefUjR8&-Zdpn22 zNls3lGiOd-UY@0;<^B8jWdxKs{kEO?zNhDNYnx#Yo5SOYRbL~G(5^rv{K{=s969WV zkPU~zqs~$PGdw*qL@Zf;q9`9p|DQ8bTU*=Z%a_;J*X!%+CnO|fXJnv0N~N1e@8_{MR9R)Bob-gzI~34j?vN4r%#_YHZ~3n49v>PqEIL%CMJ&`KQ=cv z&(6+vbadRhb*r>Me0=<1PG9`*jr9SG;I>dC`s=YHv+NzK>tCW#Xm$@Lc}uj7$p8S#>FhgCDtBe3f1y!m0Km$*^S^SNh2&yM+XVn{ z`TQTxlS12s#qE-O9`y0Pw!2Cnoz?HB-~qa5$W)sp+Llm)zamsZ{E|efwYmZ*OlR zkw_#Gr%ajB(9po)aO&#nGBYy)07gbeb#--UG}^_*MPFYZ&L+}mG#LRU!@KjOG9_|5 z+{R)s8@~BA{_LqM2T~32cxG2;(uFg}x5oege-8a}?lUXv>qm|Q09sic5vfV}35W1{ zxWurnJ$(L=$n97aKS-3e3jl~Zmb_zS@GN^L06;stYg6*yuN+9#(b0)WO^Ocwrhnq2*g?(I5LMu|-SfYCZT ze>*!nJ72kSg+L&zUAy+urArA32@nM7>FLR6!D6u@k?7T{S0oZCHa1rJCo~!j-?9Jz zg#v@o#C$i+%38W7Y*C;A9uEMpG$lgd!xOUnS@pj4o8Y#UnR&o$@3N}OMc#9em>AM7 zueZ0prMd1+W8IrZxW`Ce|M%DRpHH#Df9vVN@dE(N|I*Xb$yHiOH@7Du^e1Hg@si#e=!x?(SY$ zS=rau2Oq-kLX`xhF(Vkav%8dx9L4}Y;K5>HV#4d~9r7$CNZUoBfB_C~H+hQWe{XwG zuf8!U6#lPI5&h_{bJ~S~jWcLjEFM`A_UJqwRFg7(Z z@^+mG|G9l`kI~W5)72$ePAg04g*pMXeT?ut> z8i)jA3lq~Jl_;^xde3fQb=X@^#mUVBV76zZ9FLBXOlQ~}&buyumLthdxuN$S_HfP> zepX3xt`{y`@b~xskY2q@0|4y#>4g7mulZlfe!nT-uVC^f9kU_h2g@jl9})oxha#dX zU%v34?KPz2B%;|QqM5>HWO*I;5~WHR_WLV`@roX_XCw6ySeJn8f} z43S_gA3uftW1TNh)WA%|tLCQTg}?Iq`i%4q5;sK}>g%g;^1w`m!t}VR*F+n_kBb_T zO=BHGEh9#owbytsy}i8}UFEAqv#Wfy0HDcLzFJ_=C@H`n^|xxOlc@?De{O0RnmU~k z3WX0IJO~O3TDo*;Y;5fP`}Yy%L&hI!sq#fACXcFBzWev@kBp4mwr$(4UAwBQt5q7y zxIrydz6izSQMJl<_UsQUWov6|CXnGgG>uW#o*0l`oJ>YyxeSuR0n1Dqn?Yt9;dmHeaamXzB)=77633M3l{D zkF^V9z&I%p&CShqb#=9{uvol!@kE;|eOe`=!-Gzz(`dA^va)B-f1c6l^o)#*vG(Yr zGR7sMqmuTc)9GnxX_l6jPEJl_GP$IrWYqoqlo{g^(NRhJEn2ilvbRSfk^KDphJ86S z66tmR?%lhCf`T9j;&Qo$hK5g`Jb@snyu3U=KOcgi_3PLB`ueh1tfrKPM*#hr`{xd9$FPfXQUa2*~U#z>CG)++6rDF)`80%S&3I zyu9384qsp2!L}+kZ{B?8&YcnMc4!)(M2V=9w4X{DLX|a zKFBkO0)ZecEiFAg9f|OG;u9(nRS1nnn<>YN6)WT=)6>)Af8yeBI2-^#QU^H^kj)nc z2M5Q*!~_Ke!6l*v1qDZs9)*8WQX+cz@L?1Rb@AfGn3x!aC8E*-D*1;ngP5J2?d0Ud z<#Oxm>l+&znM`JIaIi{-G#L5UV|aKtm&=79h)$;;I&=u`tf{H7v$ON?@L(_)*RNkk zp-^kruI2OjX+=dv1_lO(hK8$GuWo2)V6j-6Hf;g`WMpIr1OfkzQB!6#7L_t(|ob8)yR8vjVOXBgIWh$MN)7O6+uvxNA37PEp-qWok5L^h&qBx8$`5%7>OVV7zji{5=cVs ze7J24NeDMU#6W(F59gljd-gteb8pVM|7;YW&liiuKn`79U4IM)Bj5iC0zpuJf4` z;o(tRTRZZhG!^lm{QUFJXf#@KIA_kB;^JZmf+USmVa=K~Cr_S~Zj6MMmX^xON&vvq zr%y*CI*kN_LVuy)T*3{>p_)LUP!dNY_hn^eWnp148gXeb=&=q!%Scfzg(8vY>eZ`O zR#wlSKfiwcx|^F@Lqmf?%ZiE$PfyRp#6(FOp^J)&3JW>r&Yi1LoD&MwR&f{%X6e$U zSFc`8Nl6I_33>YT>0p*VK0XNv3DMEf6bi-1$LH&>zkf#P;)^f7`0cmfWIAEPf{SXiiXpc4a?Q~2P)13y2%)YR0P zni?z?Ym*-W4u6cXudi=ONy(NiTMP^g5RUKQ;Be~HDVa_sr;9`)mEs?NsIZ(VD=YKz z^5Sy2GiT0RzI=IXY%Kg*r?|K{A|irHrOKb;?(W{*-RoGaxdeF4|ic$SXfwCm=aSzKfjWa5`SZ3V*o&Udb&s?f>#+^w{9ho zNK>ayl|SX>%a`ZRpC9d*KVV^DL7`A66pH#>eEKN63(L#P>2$hSEQT8bfdI}Q0050f zOIC>;9Ua}>-O@J-pU)dV71TH535A+ji!o+JEQj_M#5IZLE$r??&?x^{@YxA?#P- zL5fDJeeDyIecX&-JnYkdJd@Mk-~W;QvN@a$2jl;7?dq?kHzQJ$UNtujZyXtlEAIc! zc!i|@Lsl9a8}04wSFc{p@!USD6Y zudknwkdU37?cm@503Z+u;o;#rIywM=M}LnV6%`f5#l?|Gq<#DLIXXHJ)Gn%(KeQo003gKIOWoXyH6ey34}hO;OMsRNRuW504S%k?>wp8m4BIr zMxg-!E9cJt%54^sizV$B0Knz*e>{`Z+|Ja~)rBDFNaS`aGjjmI`<|Yd>|@8^;Y>|U zFI~Fi?(R;dQupoK2OD^MdlQL7B9S;{%9MtN1`dZ)S67#rnF#Gt3#vFE-o(m z`ueb%NTbnY43tdo&XdZN$n9_&i@|L8=G*wQr>-1GHNfMUU7bl6&K%z!1AhQG^vk)= ztgNpeISv45WpzZPCgmp_!t3D@!?yPD`9~tRV^#b$qO@NCK-9719V>%p**gIM+Sy&3 zlK+0?K&p<8PDE-_d}z3f-Dd!R(#l8Q?%ByNDVP5FPaCTv^`93Pcq&^lDAdgHc)UVw zoHS{2^((r!>r9zJWcmlp)_>XA+1c6o%9Sew0%7giwU;hkN=Qh6AV^P7Pi7P>7Aq2o zUcGunB9UTaW2HYrqtWm!3jk1PFc?kDchjt_rF+5_1sdS-002ul zdU`s!N)OV_?TJV|nDe*2Q_P3{IhKrOKA1K>&C0r|{hc?EO`%M`>92*&N~E+sREF~ARauvnOw@OpcP zJWC1Eeo-i3fWzBOo_`|w+a45bJIM-*!Mx`VctUpd448<%9xjd?h9rMLPBWKi<0T~} z(%N`CyNhTrTk&##|mdLOQ4F;Q-`*i!4%|mN`rbdLP^?!fNUn~~?a*I0G<4gF^ z#L$r4Gw8nv62EvooEgE`)X2!&bte4h_PISqM@LUrmt;A)=-%!A{(gZ_c(N#;+0`jM zNH>p5&_^U|!WHOmdhCTahYil1qd{|ai_WJef8#ivWwzd`)7WVe`rl+SD78W`TM&YkP(>N;`a1T06$7$}*O+z3kr$+U8${gW&SEq|b6Z$5IsdBdt^<~t>h%BpAz zHFKay8*gH^S(unwni6FOk?&WaR0xGa$xkSx+k+t#3OO7Oktpj7k-@tuCux*cptlJ8v!b#EGo1Y-*m(;){@;+OTF-NNdyx1NfVTL-{w&qz5Q9V1!J zusNJ}U4JY`lAUr#?>+2c%@uxDNi^3B7cThw`~RV>-lYKm_WX3hf40~BFJ*tcDc`SP z@g|+KA@c{@D9IlZ0||#BqAFj$@Sp89q~#={*(9Qw!jFc$j!68P8Jn0Hn;;*-#K_2G z@b3r-GMYJ`&u?jI;qiFV+Bgi6U@V_Mh5ci#7k_G?Qt_&}>3HF<{JuUTeS^eJk%s#E zDx5q}sZgkmt9nheDg3yoL2Mf96lxhUTGd|T!Swd_YI>FL1V`hme6?tHm9G{Eg3u@_ zz@Npp>Z|n~#VTJGi{<0vQ&m;9aN$B58=JtuKo*NNN?~de8oZnl3WX0IJO~O3TDo*; zY=3O*{rmS3N+RP7byfKyx0FHED&PJ4_eVxXZriqP*REaF)zvCZXMCWpDqrN5GN@YR zJA3vYn`LWjYbKM4(93v2ja9xXSxQi~$`@go$2dlfRlX`&O3+sMs)`z`eB~{XjIU~y zuNJjb`3`1@1eL0MwEzIXU>in-TYEN}4SzTK`}_O)`Xt81#l_Xt)zYUAW*HnDoSB&^ z-Ow^Z)KcXOuSTiA3`A^BeZ%&`6~B`MY=T4hjl_ zAc)K58X6itdGZ8;pz`wa{QP_fg4VBJ@9XQ!VzHWukr%+1Y(4-*p;y}Z1n4a&>Q&E@d*^&RY0 z#pcbM@7%dFqPHEI#wSrCszmcsNj_vS7#Ix3*Vk9Ye`C$&lPD2Y^3n&nd?*kI($dn> z)6bWFXtbGftXQ!^-ZDKsJuWT|hraCVwUYK9Myph4JX)nfy zOGr9v7{*_9EG4iD8Qn~SGLW*nC4x2}K@_;^Mw`k-nH5AW+O}!Y-!6-CA=o0Qa1m5Q zL{Sjbn4Aa-EKMd9Eu*4js!f)27Q;5hE{ z`ASPmc|0EcA0SE6=kwLn)Ua5rf`WpqtSqHcxxBng{zjotw6?ZdES9RODyj$s0_5M! z(b3WD?5t2I93CE~ikX?2pS1vzBvmR^V`Jmf(-YM)nM^De%jtAdhYE#aZEY>G_{V5& zZl0c=jx2r<1OQG>PINk5LP7#H3$$7-K@jBcRq!vuU@#aAMr84WAOL`(=+x8{Ns z4V9IZY&LsvaPVhs{(~?9z-%^mb#r$!I?RL{;$H&Lz<>gCDO8{WA+0<%vlxv=yof!-UgTXL5IvV5MV;IJ#QBzYBiv<$^ zl9G}pCMGT~FRfPV(9qDq!GTh##4s$1C4wLtji#=y?$@th2!foPoQOmsx~#akSglqc z9UTFHOePZu1fN}SdwY9eV4%OhKRG%1>gp=SG61sMq?-xLJ*|7 zx_V?}#OZYMc)ZWXM}nd#j^nkpwNW$`6%}^79RO@LTW4qIhnm~l+qSm0zP>)A(P+2Z z$HvBDNDTnM;c!GWGBYz{u|Nod(ChUwnXICsf)a7L+>(-#x3{-1jUOH!TrO91jX)sq zdcA=_0LSsRwzdy7tE;QY$;klF-QCUMaK7{nb9i{z(b4g)DHe;V^%dO$kw_%P#l^k7 zy^D*Bxw*N)V9;W*?CtIK^z=k`wOXwxiW&@t)6-Kno1LGZ@AY~&Ha6PZ+u3Y(SeBZa zdVPI8H#eu(>!}W1Mi4}LdU}0*JpkZ1o}HZ?A0Hn}aNlA%|iz_NB8Xq4I?|bz9d}n7zCX;P#ZIL9|-`}s%XdDg)Ns>mRk$Sq3+vd&9 zja)8&e0&Ud=rX_GpO=@X)oSPG=P?Wm_gh+8s2`Yc@onf92mllm6kr(UcDp?uk3=Hj z^ZC)AG>W2|o12M=i2yJ;Ir;kf8W$G_06Lv6Cnx9KXN=G1@9yqK&H}nDJw5&W{QTkJ zAtfaxmRJ1^=oZZIIgv=DQmHs)j?v5Y`sZ{!I zcx3F)WDEu)GWPxbz0>KuxVU(Jex{0VCjQ)l@#Vjo!{K;*e53*dgFyf&EG*=5xqtmu qqTuuS{C1T9kb(%0*C%pu$B^ z5fMc}P-AjKNU*e+P_z#!Ql{FZHSc10Mbgy!-gxhY`&&Kp%>SJKdCr+L=g>%!1ONcQ zaopqal$MrqI2`!@K$4`##&jYgxCb$ zl5A*bsHmu5GMR&egWqfOpM?$p^YimvU0w6@^9qH6%jGsTHJMDN=*Cbse*9QnT?GKM*<4do6TRp2^K-pkuh;8GM@QqV0mCqU7}eF) z@mSCSfXn4hPEKB5Uz<#(p`oGU<71^#iD6h2O9VmGYIR**-T3%8f*@9_RU{HcR7$1N znwlDm#R32_nM^1YM(K8MZ*O2=K&R93c)XjNn>cC*04OUf`zws)<>h!R=q{JbU@&}q zd>{x?RaG@IGU9MJI2_Jb?L$FP6vy$}+S=%{^73+<%?1Ewv$?ag^DEiI!$VtJTYrDQ z!C9F$ASWj$9UUE?l47x#+H}z^5Q#)0 zl}h{i`c_s}a&vS2e!tOZJUl$??d^^3YBHHn6xHkXXJ=fPPl;^LxKtEDm#l>|Wu1cLhddH}$2JS!_JAt522`o&`L+}zx!Wbil(CENl? zlC<0Ha=9D;Qc_Y_ELKrb(Zs|=@PrIM|M&OzWir|B?k-7^I-O3fR@?1%k|YfV12xB= z&e;3=d%0Zx{QMluL{#41-sa`yX*8Opr6ml*g87z~7V6p)41Sw%3j_cP3JNd`b2^gs$e{gURy3`Ss0)gP- z;==3orlh3Av+Tb?xCK4FLSga9mwoy}rIu!QZYpj87J{nD;!p-TwUi3;;|f)9?2K zKw)7ao6Y{`Ly3vUmQW4mP>PvwR?L+xNQD~GQ z6rxB-)+DkmBZ>yAZL)N1%V~4Uu|@9BdGCjF@9w$h>}$KO&LH{rmUB;V?PAe*OBU zO`Cs)hldmY334qNo6R;dGLp(7(qS$S2%$(MQd?W=^Z6(-La3voW5O#~r=g*trKKg6wWh;NO5z5wyljy1Tn8Dk}Q=`etWm>Hn2vKN5-b_xEq!yxD5CK7018xVU(7auNU}5=q>h>&urf zdc9t+*WbQBe8#sNF)jb0%Yg=_wQP*_R^(G?d|PWtF^hgnaKnI zxm<3wS^;2eY^e6tR+FNrFN&Vu+Z=KMkB^g`Kp>Epmq*SF3=CvvX9K|b^XFSzTi32#%VYw8L?Us!-SdC*^G>Jp z(4j*KOh~rHGVMF$LTYyk3JL@Q!SwVr0FYy=)%xz;yVIvn13+$WZbe0fUat>@LgZqy z4*+JfS*23(`TWnHKgW9H^Z8^l8Mz9>FtJ#C?AS4ZK;U#b7Z(?qOaR!paih=YGZ+lj z)zz_NTyx3LoAQs}H8nN$_4R)d&5Om2jg4}-Jl53r@856PvgO*fYn0v-zR_q@C=|oP z!w8}J`g*lmZL`@3L9JH5e*KzUGBq`|efxHuPWR~1Ba_J#%hOGS(9F!tfddB?78c0K zxaJaoq@U;rAq>MRD=Ud(a-0e=e|~q+B)5GpGxJ9+YCY_99*=-_ZTcDtQ8R4SE&gM;K?#i**Px_9p$Iap!10AR6L>gwv& zty@R*OQ+Le7={u&1*{aY=hp-e`)P#>04kO0?%lfxq2tGomzIB)@_4+)g3>U0q#Dr7|lktFp4vY&It@W17e*Fb&ypp-=6r4jTZnva(uRTfJVd*=)XY z<;vT)Zx0_nY%-Y=lrc@@6qtr=I&r7=Rfp|zx!T*?aUADzx%>C;zjf=D-EPmw$mr?m zNm@*w$mzr#vMGNsP3@}=7sId%7cM9i3b|ZPq=Z6YNl6LitBJVKCvrOEA)A=^>5!-P zm3-xp6n0TjkxVALc=6)I!~_6@!{LVyAC8WWCf*|;-bC(pyE{8ODK97JLpEJwn%Y+# zHiyIM?d@f=*#!j!8#ZiMzkYplbMu`$cTSu*!BjIcGO~Yf-@aflxO?|*jYiYd)P&XgUhIeYeOPfyRx%*>iKYtnPE{~9g; z?A*E2WHL=oPP$yKqM{;^NR+rnrBXeA{yZ}?69C%U+9Ht%@t&`)t}ZVxkFxcOM50%( zUh#OmScZSDiN#`v!!b8Emy?sTjMw)2uwzkvetub5S=`pVdGls`d>qGdA_#>-L~8(m z&1T15f%^S^48w|xiz(&g)-Y)-7K_}PKp9CSM6WeUIg@pwG z;PH6GX0dD6E}>AE)@6A-o~fxR@=2vqX>M+AT2B{B=MUB#SZgU)%kuyL002ovPDHLk FV1l^WTFL+b delta 1712 zcmV;h22c6d4cHBkBn_WQL_t(oh1Ho~NKlci%@PMcGXEpmU(`(2#ccfOsSZJ%xH`+he*=kfRKyyxNgdY&By zLI{2l2n4uXZY2Kx{X37x+3xpPgIN$>gwv+wrv}ZED zq5l4Uy4rM`zYidU?%lhm)oO`ja*PlP27`P)U$58G)kpbJ;5e>OD87CBmT(>EFcU)D z9PtDk$G2?RGBq_toH!B_5Vvt{Z7tnGqkMlVO-)U0ZEeY{H63O`;x~xtcDo%8hgd8I z0CG&w+uK`JRW&d$Fh4&}{i`JVp-^aWaB$g6bgmiZa;MBP$YjN5D0ueAKCf(^{ZN~zHs3}XJ@C`Y;J9Br85CQ zDwUeeW&oI&n5e6(i(>)+V?~f_qq|dFTdB_ zilcl0SXfw?oSY;(KA*3kpn#ki8XC&Y%>{t7XV12`x36Bkn$83Okx1lpIv0Nz7wvZY zfddEPn2>0TrQ3JNh0)z9Dk|dfc(b#!06>n-X7igjZ%&>(2>|)|`Bha_TCFw^2#|}( zJ^&bvMukGb<#IoM{21wx$K#PmB;+a#!-PWNkt0WVJf7WdUtV6OGXY@z`t=@*V585Ffe~WG%pf2H#bYA(nwR^zJ0rC)21s|u0-{o@b!AVOePy0 z9YqK=Ha04iN{hup2uh{$<;$1kl9`#Aty{NhG@1tw9vBRUNSaz#5W+C5y1JS;CdbJT@fQ~tiA*>gUS3`%VwcNx>eMM}6^?)7^YioM44sJ( z3Iqa4nknaJ^Gqg_PN$>B$w23Oz22s#rbwsakPb5?{C#V=-EN=HM~#yqrf)Ktg27-i z<>@d}0t5Zplk9f8%jMd&YgblQR;o6<|2wSf*RQ+XZlzLr`SN9h!O+psF*rDwmzP&u zTud1I_wRr9>{&P*)@Xk;dc8gz4sYJPIWu1)ynp|GWMo98Qq9iJI-O3HO2y@J%gf6% zaO$5Rgeod3jvqfBnd`c`x>zih)oLXU<#PG(@Gv>ZFf}zbckbLF2N{D6049^Ep`l^T znl(hfG#U+tVJOa1KxTKU>gsBv(HOssZX%~bH)qp9o!$Q+OaREq$!TwIce~w2qw&(E zORrzQK6vn;!C;6}MmLdDp_{W~5_5L{gD@QqM`vdzj^k`Ld+*-8H*VapTCG`GS$%zd z35%%{c}!x?*;Ie%X7@h`8^f@3=g!GwGO1Kbr1*S(Sy@@sR}(RzPUJBm&)LM#9~1KI zp2-&vabT8|lt?6!^XJb`O-%tnFc`dl|Ni*+c)|^WI*~h_&hGAR>dOi0oE_7oo8A8) zOcsmP-`~$xGBM2)Cr-FruG6Pa_x1J7&CRV^wJOyY`>$aG z!1nFi4F<#X^t8j_C@Cos2n6wK6bi-Dr%$u9vjL!^qazdw5%2jL8X5`;3aI<8Kp=SW z;suApiDZ9bnnIz_X0t6UEac_orR3UvA7&&fEG(?3sEFB`SFc`8PEO)DP6UBKfM^W> zFqzEAD^Rc3i(y!4X({y+$gPQEG8hbUYkWSR)oT6x`Lo~eCxR7Sstring (lw-e (cadr lst)))) - (open-white-square-bracket)) - (let loop ([lst (cddr lst)]) - (cond - [(null? lst) null] - [(null? (cdr lst)) - (let ([last (car lst)]) - (list (just-before (close-white-square-bracket) last) ""))] - [(null? (cddr lst)) - (cons (car lst) (loop (cdr lst)))] - [else (list* (car lst) - (basic-text ", " (default-style)) - (loop (cdr lst)))])))) + (define (rewrite-metafunction-app lst line line-span col col-span something-or-other) + (list* 'spring + (just-after (hbl-append + (metafunction-text (symbol->string (lw-e (cadr lst)))) + (open-white-square-bracket)) + (cadr lst)) + 'spring + (let loop ([lst (cddr lst)]) + (cond + [(null? lst) null] + [(null? (cdr lst)) + (let ([last (car lst)]) + (list (just-before (close-white-square-bracket) last)))] + [(null? (cddr lst)) + (cons (car lst) (loop (cdr lst)))] + [else (list* (car lst) + (just-after (basic-text "," (default-style)) (car lst)) + (loop (cdr lst)))])))) (define (just-before what lw) (build-lw (if (symbol? what)