From 4b534f86c10e5f000d1c48f73eb6411a60f2901e Mon Sep 17 00:00:00 2001 From: Enrico Zandomeni Borba Date: Thu, 15 Aug 2024 07:51:17 +0200 Subject: [PATCH] memory layout typos thanks @high-cloud (#396) --- paper/HVM2.pdf | Bin 584466 -> 584470 bytes paper/HVM2.typst | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/paper/HVM2.pdf b/paper/HVM2.pdf index 454bff6c1b7345b9da2ce4ddc7b653886b0b6792..da7df88f4ba3f88ee78376afbb3bd9191efc07d6 100644 GIT binary patch delta 4684 zcmZuz1ymJl*QUH25CrLzP>|--%$x&=N{N(|fQZxuq)S3j7^PDb>E-~6lt@aah;#|U zK~hph0Rs`_=lojv-i87=h^#x*Tj#XOd3CVCxkMDDugap+)=>k1hjd;p2E-XF+Vs%1-!5!Dyam(n3ri#|3Pe3%GqSFXgL?(;1@qwen0v1s1HU`58bq_T#ZZT zmx<@G;W3mFTVl`4xPwO&!NDx@O7~UumGs*4IWB7C1UBoRRh2O2F8(v&xsTt#2VtUZ z#>4vYpzudo4ZW!iX7#;U4UO%+4LJ+TfznsM`z^{m-tc5QtJs!y!*|l{p;_`)MRsu1 zc+r>8!A0Tb3(-5TW~Y}J6`LbxKfZuCciu?^ejwuRWz&So-hZGP_X-cEu@!Br8;|#9 ztYr*^mYgrnuvOg<@#Y!kGs+(dvhPySkBjzxelA|f-$NwwozZ#Kw#cBU5!z?6-?M+s zyF{9Zry%(Vyz|rQs!s2lO+UKs^o)hoJxUZEGvNrYaq{(hFB5*3*evvzfzw~wNk%(J zV(*B~X>`0}k*JyE=XMnXcxKsk_{0pMbXw=#1ydy5tAxx}CfY&UE=KuIn9@qudir!{ zw3#w}Nr%3z7a`YedI>O>5#6%H&Fgn?L7hrPWkQC*DXiXSPn9Ieg(Lfv626Sfjm)GW z%biD+9H}5#5^bn9ngy5j(6=~#7Y$)UI+3OvgRT3 zBIC!xdKz%LGjnqRL)5gCm=B@H8$%_`tv+tw**3+x`btz&dEHvQb^T^ToFQR&FK{GB zpu2|0+)|knA)UkwKUr(%nC%qO-%)%!P+@Ob$p}turA0gw6=Gjw>lI=X{gNgirPj(W z&Tch6CVc+6ZT`g@tX-+RUOiOz(aa+9xSwpc5&B2YInYpK0t;u)abH^~O&(6K396vc zudGm~xvfiMW-koT#2@2@b9W>5y`zwI<$_GMHX4Fg{s@Y+fODkEuBs7B=a(uuOSZ1< z$XytITXH!iZ%aXoS1En+*uc*d6VjXs-oeX(Vf!DS`wbqWVrok#gs;>^(b0b3pnI#> zJFWa`4KX3G<5Nu{(Nw@$1CAj)Az<~jcZs+{n$Ye<^#JthUY;1+mb=76GU z$4|7__)T4*@}1aIW60Ml+@pP)lw8aLznpydCEC8kOdzS9UZY|Vl!8SD*ZUd+E?*W6 zMJx0u-%z>Z_nJL?Ep~jYW|-0C)~0EphovH+qiKwSA~zmZuU?pNX}(ab!M$J_Eo)SR z7-6j8ns#71^TZ~t;Un@{;GQS@*m%`!=+np?(BXcEN7PZoQDiEj@2t~z6h%Y_=;U&H zf%}XDZC!8RGX@aX1$OWZDByO8;H!tv*KLh`QVVEO#5+pNI;K^b=^1_|j%ahzo|~Zp zh$VKe=8ACtwc`TkEUMC(+!3jFr=FrxfsY+K^A))bJHwZrXnZnYN`LhAiy{FSBP!0h z`hHW+ZvNCBH<_iVdenrfYIBEwxxU;#U%0Jl)o&y?H}0y$Ygf++S68_$%92H+-YW#6 zv_j@fxjLY)@)57t%%h=!;x`eupY7YPRV)Q&=88?jGM}&dK0mXrHydrDxhq&%ZtW~I zXUHcS)D!uRQf76yigtH!h;1DF_C2ZT*25utPD>UxH-*IIhSfCTdC6O%*~#M0b3Y|b ze+;r|1}6soNf^yjm(}Z(&yGB?Yn7TOL%6r1_?p9EO$R^o%k0d-3yXs|%7Dpe%Fx!5 zn4@K;t#C~5EBehD%eSgAtc33LY~#dFJp<~Y5!&oqxw0m*Lz}_lVnQ9eHl>C07O9nz zw2xgF9yf)1U{jQG*iA;#gV(UqL@C{8;zB?xbVYr#Z{h90jxG)d)wVs zD()L;JpAB3p(k2ec!U0jwwl$0ljrgMeef^+tG>qFaT9C87ALz4b-SadpGMWN?ia)# zSvr+`aQnhT$pkvEq4yqbx2pOro6JA z+qeA{Ag&hUMeR;`2l0&eONe`tfu_YG_v;+4vIoVIQb1!JEoQXG&Bn-x9Wz>S$y?t} zZn(!SIduk`TN2_^W7Tk_-td>b$_3LpxFWb&x_;2v+$q@Q)PAGU_1W&XEP(B|AJS7H zWx^aI_-EaemQ7qV#w#@=pZmh100};%`BRRB1pAxK zw|CiqgCVPP3$AJ{WrF`Ce!oSVesL- z9EMLZ%1wQv?TY8qH{Ps&J!PeN(MH=LvqvyC$va!UdzCiFdz>S*C14g)zZjyO*>wb* z4C2jhN%F$JVK?Yq!Ne@Q?$YN+iOe+iTlRLTl>=(*(;7HJW;nY{J zxjgCv=%ai_1pNuvpDJ1TpteO0EW%gS-`H|d-lXOFfr50irN!wTsY-7N=i+s7pPR|% zT+gdYBJZYfw%Z)hD~>&FkE5)3OW5BbPT0TSj$~ls@lx?|~u7ZBPNuCLQ z5jrpNC0gS*sl>Y{KO~9i=1jrw$_2C@MHXfXDKroA9z8#dkhfG@)M{-%*Y&VULH8JI zIPv1{Tufc1fp`EPgCWiBlO9o+ta6-K01+D9h2^v^;ld>mPejSca zpao4$lXA-5l-7w>x+|I$R?Us6ArnC+>jP76p6J>dm0-%#?`2r+m$ozEprB33B7xcd z9G2Xvp@fKIdgD)%SMAeA>DuV_QngQsS+e)VroYHrVEy(-xRjHIPY=^-kwyTo0#nvZ zbWCcOr-G`b!Rl8GpOuUrr_erYxw7On?l5W??+QCDu-O&v@w|LP0slFYAriNyjEh$a zerXfPz2bYz{h$%!9LK8((_4D=UK7~yqo~^)q<;6Hmm{!SxFY`Lo=|k)wsoQnSa!D3 zF`=rP*2=PO_ez=aKUub|>qpd*e2)RGHMKgna`nLAjj-o3gr6TP46kJz)wYC@{U?v zLC4q`z&~vF-%E?@sJyB0`g*qZJKfzz_+@0Z2Ijlgvd#NdE7;HW9JLaY@qG6)^AtC4q~w z29iep7&W^qlGkgsrV-3kR9JMa`3xeC62=K4|GETS8R`Fe0$4N%VM#FvizAH#&=49$ z5(hv?5F)`qBp!(&#Q+rY@3>?CDGcJ#c(B%g4v}>P#v(~FuxK0#B*h>QLmCI5aUf|m z074`2B)K38i3Lb80FC`u9Q>G-`0Z< z`v76k7*fR$1_O~}07%*g2m?Z-eSk1HG8Z5Wp3G?oi-h3c*!)EXi$;6Nu3x~y$xrGDp#1O%YNgM@r5 zqR6)${&3WPU+^#&z>&IuL*k(SvER$n%E8&zlU_lAJ~?h3aS8j+=jWL-;@9XE73pty YS$TTh^t8332M!H^AbJrI)k|vs2R*uI*#H0l delta 4659 zcmZuxc|2788b>BWGRQ7jN+B`ZnKL6qjMu(IWR0;KA!JE8$&xJ+5k<(@LS&B!k+Njp z*F;$gDcRE1z3+SPeP`bD&-t9^Jip)beZJ54`y>t=y*qI9MhJZfL&&}m#t>M@{t%`z zI3!JvN)mVFT?9Q=*Rs@ zvGtuku@~&sFX5B=-@8==?1UOWs%u~8Aqyy32#`YWJoD7)Q@ii7>c75Q1Bp|-t7nQ@ zEW_(_ED98xx8k1(r7M%2&Z=8(n(2LgIu*xlAQ?1i^?ufTCoy|^@)fE(N>`tkFTpEG%Xio-$;8i}*QmC3vUTA4L{(c}&Ee))z2dns%k>AxKuYb>$MnqG zQrD-~s=}AM#R9*AzW%|n?(cmARy$yd)se#6xR{v}LDL89?7D3{W1!=q3-UepzM~!G zPI!xwyQCaV;{r5N)v(*#l4T+(sJOlv(jl2UcHveQ8e-Mw^$k2S(=)#*FSY&5sShw0 zGiEu?dh3%K9z54Q^8BfBjbI(FJg~@_!VDxfXM7&9oOs@5GgU!um23*NYD>|IPiKLG zdgG$AQu3JxS!$8p2~cIVdD*Q>r<0XOH{*D;&!X-BSZQkTO1|90wt7*CFM;m|^Qze3 z9frkXBmPvUPlCSwx09mc8;r$|Ws^bXeCzMW6)>3xy7v*eamG*oW zDx5_Ddf(Ei%cEr;GR)-!-w#>Hxkd<*Kk4k7pm>ZqkxNwcHv?| zuFHpYrw4P=?M7a@Y8wd#s7yYsl5aVl3OWx_&&s-zBTyi#266Pq#_EAVaK zuv*gr*G~)?%`9TjsnOzQ@Nzg;onB?Bl)#Yd&D+_vYNP@Kb)sCeCp?t-#T-)KmR;MIwKu5xu?uy^>?_20~vg$#2pATXtT$bWmS` zG$;KsH$88P`oW;A=9Y`OiX=$rsJ4uBs|tTIr+Q+L^?P1OB5E(XKu12R} zgU9SEFYFgQZ2Q3GpyQFlJD1`=XjpuIcB-cR97B78jd7997cn?2?5E~@Uo-ukN~I2& zK@2GS2%5Fz5LUWa_5k4lPYxP!M)*$|P`*3!EjZhX2Q z-Xl4TbdMoClw-3Mx}dP^;*t_!!SydXXCGVM(9o}4HAEuP2yER@D*N^cDR^(pjB<%$S7sF)O6r8hAZDxVGe{>IFpsUGcU z!lpaQryGEnaYBYFoh;4*nR;E!aHi=bDbfC>ebM8M0$b&Io#@6~k{ox=AFqt-i-dZ{ z+Tx0Kl*~>Yl?)4Ih>q1NwDNQPV0k7>GO@7r8dU1~Dtwf?@JLCM=ks8q>z$!~+X$Bj zQiqSPFWtDn6(HP_c}FTyW)r8Hay5#xmFyrtgq)!eI3(p&`&f-*L{6Pi?{SE_+eyBJ z6-y>n!ZH-qA6mR5Q6x)}^##9GZ{fzZZ3A7#<>z`9xZHD(Dg~Yh_J6jP$9K(k%Xwpl$EE#e3I+ zvq#hUu8`a5x4Ez@x}q=MNEBQ?CXtgoe9?Ik`oglgDrfnD%*fBp;vct7>~=`2H+q)- z@WaBRWhc)dbb~`c|0-QIe7IhDp!@B)?5O2~lHL(ZIg_%*zT19+oOo~pcdyUX@k-k$ zqu9GV`lmg9k`DD6f#WKg(dX|DEGl%k9}?7gPHEhY%)R#Txclh2CxK?lg=gozy`FSE z$%f{6@Pd`+v%4t%yVr|j8xBk$rpDu!mjq?>U$`W_VB`L>*3YAJqMFzMlsfQZOuyCE zx7W)yhX=XQ$vLzs)C+%zW}EtL_k(#ANiQVs=6(@E2(+HHg-JV^3d`WCRyWDJ4?Tc})WNC+c_c3qo zk~_K)L^is%W|1nn%J?wHbwgKuo7mN>1?wycG)0q>33D^bpPUB{5=nWX1eP%}@ ztF30;SDKaAF3ARn2(j;N{_(qQPQjG;^sk)TmA5RUz)mrNIdi1(=;&7n{VSy3S z{MCZ*Ym+~xvy$l$~L-d42xZ%X+Svbswb+i+?>r^OinelF**N7$mH_j!es==5jAa1BRsz_k?=lJ(lUd&B3+&L%R$YGbaZ%3Bksj$H`vzA`QE4t1K? z##(ag>dtN{&bQxXe}yzH?aM0}aG7Bi(7oYW>2zjy9T?fVcC1O^V`xRbG)uMn1%B-# zd0U0@vLSioLVm40``bwo_8RrNInD`VF*5AjYJlug!bkWUXSQog*tu>OD>z`=8Kqh6v^rLM|=r33gCzb9%3>RNSPiR=dEk2l3yk=JOTBkx?kEJ!eG0mo4?Gu9b?`*Gh zav7AjP8}JzC0e@Sg>*W^IoDBceEs#$-g^zO=p#T1pJUP6W@QO|uWS*M884i!R|WEf zbdZIcnjXqVPWzHV#G<^>1g`h(R`l&5&fel{P6-|9HHt-1p8{)Kc|S7D=nuE7 z7m-kvLnF~xBp&tW@5aKU{nSR)ih4h_g*z@)>Y@RR@lZ7>R-=kX!B8rUeSnUMfl zS(FOdmUtCqrfg8DKL%%KV8GxjNfYo`dI&3m{QZcy9c20a2C!%xh@_5zSUhzefCf<@ zRUQB$aTux?4v8lasAB*M`DY&6e+%OXXac%2a0;FVgD^O%6Ie7Jg{F>yI5c%0fW`yV z)c_EU1gOs9P)IC_ItHMz|H*^?M+b-m0qPLMT-{D(XOhMHawgF^o8 zK4@iK-w4pP|pFx;6Um*fEYXt3m}F-!!(FR;-J5w`3(k(Mp6p^#A0YD z1hH6GkD+A?kHyfiwdYRSvwPd+?+v>E zd&WUh1p$zNr13jQK+)QcfB|VO3*f0)z$5WELQ>!Y+z$KCt5QKh(vn3{k;Ti~#?#x+ T)82sv*y|m{u!xHj_0;|a%2!)A diff --git a/paper/HVM2.typst b/paper/HVM2.typst index 0080dd0b..472d39c0 100644 --- a/paper/HVM2.typst +++ b/paper/HVM2.typst @@ -806,7 +806,7 @@ In HVM2's memory, it would be represented as: ``` RBAG | FST-TREE | SND-TREE ---- | -------- | -------- -0800 | CON 0001 | CON 0002 // '& (b a) ~ (x (y *))' +0800 | CON 0002 | CON 0003 // '& (b a) ~ (x (y *))' 1800 | DUP 0005 | REF 0000 // '& {x y} ~ @foo' ---- | -------- | -------- NODE | PORT-1 | PORT-2 @@ -814,7 +814,7 @@ NODE | PORT-1 | PORT-2 0001 | VAR 0000 | VAR 0001 // '(a b)' node (root) 0002 | VAR 0001 | VAR 0000 // '(b a)' node 0003 | VAR 0002 | CON 0004 // '(x (y *))' node -0004 | VAR 0003 | DUP 0000 // '(y *)' node +0004 | VAR 0003 | ERA 0000 // '(y *)' node 0005 | VAR 0003 | VAR 0002 // '{y x}' node ---- | -------- | -------- VARS | VALUE |