From b04a988a7ef2747f4ae9d4b9274dfd60df5afe8e Mon Sep 17 00:00:00 2001 From: Sander Date: Thu, 29 Aug 2019 14:54:06 +0000 Subject: [PATCH] Separate parts of Pascaligo into a shared parser library --- index.tar.gz | Bin 9750 -> 9735 bytes packages/ligo/ligo.dev/opam | 1 + repo | 2 +- src/ligo.opam | 1 + src/parser/camligo/dune | 2 +- src/parser/dune | 3 +- src/parser/ligodity/dune | 1 + src/parser/pascaligo/.links | 14 +++++ src/parser/pascaligo/Doc/pascaligo.txt | 54 ----------------- src/parser/pascaligo/dune | 31 +++++----- src/parser/shared/.links | 7 +++ src/parser/shared/Doc/shared.txt | 55 ++++++++++++++++++ src/parser/{pascaligo => shared}/Error.mli | 0 src/parser/{pascaligo => shared}/EvalOpt.ml | 0 src/parser/{pascaligo => shared}/EvalOpt.mli | 0 src/parser/{pascaligo => shared}/FQueue.ml | 0 src/parser/{pascaligo => shared}/FQueue.mli | 0 src/parser/{pascaligo => shared}/Lexer.mli | 0 src/parser/{pascaligo => shared}/Lexer.mll | 0 src/parser/{pascaligo => shared}/LexerLog.ml | 0 src/parser/{pascaligo => shared}/LexerLog.mli | 0 src/parser/{pascaligo => shared}/Markup.ml | 0 src/parser/{pascaligo => shared}/Markup.mli | 0 src/parser/{pascaligo => shared}/Utils.ml | 0 src/parser/{pascaligo => shared}/Utils.mli | 0 src/parser/shared/dune | 28 +++++++++ urls.txt | 2 +- 27 files changed, 129 insertions(+), 72 deletions(-) create mode 100644 src/parser/shared/.links create mode 100644 src/parser/shared/Doc/shared.txt rename src/parser/{pascaligo => shared}/Error.mli (100%) rename src/parser/{pascaligo => shared}/EvalOpt.ml (100%) rename src/parser/{pascaligo => shared}/EvalOpt.mli (100%) rename src/parser/{pascaligo => shared}/FQueue.ml (100%) rename src/parser/{pascaligo => shared}/FQueue.mli (100%) rename src/parser/{pascaligo => shared}/Lexer.mli (100%) rename src/parser/{pascaligo => shared}/Lexer.mll (100%) rename src/parser/{pascaligo => shared}/LexerLog.ml (100%) rename src/parser/{pascaligo => shared}/LexerLog.mli (100%) rename src/parser/{pascaligo => shared}/Markup.ml (100%) rename src/parser/{pascaligo => shared}/Markup.mli (100%) rename src/parser/{pascaligo => shared}/Utils.ml (100%) rename src/parser/{pascaligo => shared}/Utils.mli (100%) create mode 100644 src/parser/shared/dune diff --git a/index.tar.gz b/index.tar.gz index 145e1522a8cce9dfdf6dc7dda071053ee16af1ac..022ac1aef23d312cd3ce31a2b9a969d5288314fb 100644 GIT binary patch literal 9735 zcmaiac{r4R`0iM;Wes0zhGb6&5iz#NQj%ngkqD`XP_~ySWX)c7${NaAq_HnqhGfrD z_7KK8W9I#wx8FI}`RiQQng7gOW}eUUd7k^Z@B4Yt(F~~Lc`kM+nhm=(ub-VM10EWe z#){Xk_$r?Mn_y@3E%l3xj7--V;~sR{%jg!Rhy-~QQ*%P0U2yJ21N-}pj|}D~d2=tE z##@R#@)U6J41oulXnNuM8=jBhh(%$;#F8~hqWfD&?2<9Kt5sDhQ*~ywG+)^8CbuD= z`OfpDkUB!LPRC1XQ`RH8?JuSKp{1q9Y!W5z_a=>YLho!n&Dg|yUBM2RWWErvqrpKY zs63uV5u>$405AAs;6CNEJ`q73Ok8^@5=Ooh@(QzG7tH(1^TFqq+S)n_CHrTZ=tQV3 z%tXu$`S&rjuzv9rg~d8LJ~e<9KA8P+nio6|ISJYth4)?VhA__KZl?=F91aWU@Zj~S zuf_&&^P@+qT?Ne;IBDZVHyd5ORR5l;$rB)Ug$4<~jN(U4!ZGdVuyYYi(=pyh zf{tBT3a6UoAYGLfAVF(Knq>`8^;&w$ARYr=(2;W3l_+35dd&7qju~Gj0d~&?j8vi^ zcJH-haJ4^>AVNwsyBHD41>B=@yp?r3^#TNxEy50Q?DCs9=c$NOWWSvK9M*Z{Z^Eql zzOwI0Hv9#4lR3!Z**2DeiKzZ-W_$E+aN~t2GTRo2qFMt{l!P+_M-2ZW=3B>zxZ=T- znn+zwfv2CxK8_hii#W`H*BX!%5?=!?^1WOHj6(q2hvy;_#+;5Jv8?oiFI|T?RV z4L2o8FJFVza55pyhmVZYxz>%@BM;SMKD1ifA5oL%ad|C=a&+$j&t}vJuHtl9-no`(K$Nzhob$N= z3=?opPr&osJ}@0PV=t?SLQb9s8?ak}&ET+l+b^=*EqvFtB~~E1U5GvGAwVyH(XH`C zY%lnFK*mM_CTdY2Zzaso2jI0TCgjjDWREjr6E+_eU5+XZ=W(>iTMytIpYS$;uIzFt zVI28NM>vvuUSa_3yR?AEnD7H`PBP}-DO-JWS2|sYT!&aiVOWkXmb@ujOU;(O)7vx& zB>)))XL#&H3R+713#dY>h&_28SIu_o%Vp|AT3F@A93BY2f4(At`6c0J<)EhRpX7AZ(91>B-SJtWE`QV}tZ^1L8RgeM#e zSG{dMl%tI$=d37^A$GtMb`#*G#v!D%2Q@+47ph!F5{`}nwTJYB7TmxrmE$v5LKpZc ztPFrGS&GX`vPCiA4AZ7SFZ4ek!Hm#SunaawATtD}Cqj;cmH;z$I)QT+b8-os2-`oz zXHMga79nj)J@4)UgzuzA`rTv;L{pW4=XvOggRd^r-W2);5T$KN_8Z_sA;nk4gk<3H zA@o-RE(?VvXf<{)KP7+w-60g7TMK5@p7Q=RgT>pSV|nVxP3~d1XCM*DW#|$0URlyA zK<(u`lP?AHudd{MTCBWA!;Um@`8;4e1l$NRQ$$|9FBd~rjvWAJW%tWu zp8O^pyw`yF%WY0K`TK^ob#H4_y=Dm7i!lnat1usUJ5t@W_(Xvip*DGWqD+#VZITw})`-EM!Hyf!`_y>bi};Jy8@JhNxbR^qEY zIGmj1%vj_Rps(@k|1(jG>!NyE(UZMfuZPXa+3b#sV4>viI2}X}R%*U)(lgGCi|CA9QZ?EescN zlNLNq?J7(^f^^T%zV-gPz|tJ_2KLFWd{4PXSoQJ@^t?zY{B)N1yPEp~zRTrTi*1(^ z+diS&zoB7`8lx$yq9mNg@s2*xAo*v4OqVETwSJ+9a&@c_d((PIGoEi^QEv54Ok&gb zXuHPxN7t8(&KKYkPcA4%T^w;ri^sF(MF)#E>gU-(ytiby3)j{I#|XYX5j%UIxhKa4 zSTtvCIb<{6y5qYCz3Ps9_SO$v4k+1vx3z$WU2hr9)();v3Tc67J%r^!suzb?3k!YN z|2tAE&{KKAoD!OHM|2+5xF+#_mzaxXWOfW0y>d_QD%Tx%(}}$2g&rOr_?K#KfNC~R6VS~ zJe>(V<3PY9f%y8vwYeo|63`!F8Ppb`;{FDoKTQvAQ10jq(wNRRE4^C z8kly8-ry^+RNZ~=xrVjNOH;}4_}Mli((7{QxfIcOuLdlCjHr>OO}R$uziawm>rQyw z*u=Ys6zK@3#!P2}3&B3i-c=s51o&IjgV}9ZRHt&rz8IVL_T+izi!%L^k}1#XH?i@I z`}MbOm)bKI^3@1h7b||OEvSEVS)`kx_;PTy%XDt7tcjW&qM`0$u z<5st-*eLQhx+Ax`eu+RMR8;!i91L42TFA{E0GStbFeEaU3TT@g24M*{`V3&W1CWGt zMIJ);s-LxBB3iJou`V}iFn*{T!?dGrzT*9kQ%N48evrj=?6BtFhM_EY+=tZkQ#@c}g|#DmZ9U(FLV8~R1qA)j zOdWlCi*CeN()$oyrVz}wvId54iNyftZe$oR5^}NtOTQBlnQ_*%*9feCHRZvu3K?ulC0v5@>S;`AoB8-A$gpB3T z_yF|wO*vudxczc&Tle(|IJK}+LgDY!lOd-jy_ht+O(pq_B>h=3)Nk?oHxS>#v701- z^=-%^RbU%p`2)fo^k7UoK--hCH!`%&f13Gzr%0xT^-rr*E(9;vrI6K-I&eSN2W03t z7xC|Cm`T8S6dp67S%*Y;Tfij`wL#QfDXL7FB#-yfX5AiUCxy}H8froUcTrHAVQ4?d zH$36~=3$kcM|W4;NT6CXEgV6FXn!#f<46C2qsllLV>iq_2XU-O9lG-bDXUylQ{-it ztuXkPJt2p+w<)0 zgU{FP^sluDAE~Rqcu6#-OPbA5CJqh!_!40XiQV35xqO{!RrFRb_vz(FXXK82FA)EB zy}ws80B+iTiid#{W(A?(qKi0J0A0DgffN-HwC6g*m~J>?9mGX}KQwJYE-+fhWv{r$ z8Z}O?q|gm7=l;^*pPVTY^W4Enmm~l=y6SH@U1Q!FFhRmt+(a&z*?$K#gtO#@5bsgF znPP1jeQBC&A}qR@{|Ab?7jo}Mh!n$$&^_UBdGs3!*0bA$VWiqE(<5XSR^ej&SA@(2 z^ezkYB%sRxE=F_PSKS{xk+Df$h zu1EM~33PTHJ0xONgaMX0E*TVmYR;v2e1IX{u~4KtYJsVgQ{*wNGr85AgX!A8zuuuW zxl{HP)>_mB;csXa_OXS_izMeGo0%9?Fg*4+9au7p_vVO-Iz$5QraVyM0HU>XDEP>e zCg7X#=cWMmJOTWK5bk&4luY1)KI<`=(!>w7IL*#MRvti@k@x=RL03d$;((-MnFC zk+Ti7ugnuY#?CGNwv;)I{Zv{v;<5V4^sDEUU@8{5ALoOk5~I&ww{te^C~&?^r96LQ zFcRp0B5XhTTZABmVd_8h5nX_|4$PSexS=_y>c2xQEomOeZ*K<1g7vMlxp8pz)e!67 zwzV6MAAL8+$I=J(dr8bI7n@U!E2fO98MiBIIvP<9uIz@xq%O z*`x7^`M|JS6YMuf-?)5hZJ<^shh%?HqT9ihmCvcwvAQvm$sVm_+%x$MazITu0#-fL z<{&Q}DID5BA{b=yjN)phzrmcKiHc69PIe0pdyX>osrq`XIR>OYK<8I5Z|%pnX+C2l z%NZlXRz8Uw5JcOykC_5pN>@H0cN!0-7Fl-LxKTydsRk8JX|puD%Fjc*?e>6d=( zfIt6ARFHtZ4`VOg*#X>F6hpuzov<`p-kv)6y!D0+WUm5!2=!i_(IgGRnrpy(U5_oXE@nq z9vX4lfb5X4o;$RYG0%S>bMFl5{_^T~`eBWFY<(r9?PZEjaayA#_QNAd<*~+N)_+qVhN0fTb@;A9U1LA2)pVrrV|wPGC`F8b zRVj9=5wtKnUs|f8<6;egEFFup+;6+38)Rh_&XYRX>jM z4#Q~v#E0bFO_8rQ3VTtq)#qx<`^D4$oPF&&_NswN>QM2_bv$!Zb~97Kk1>Lv-E&yz zSc_cR**M(UnifauQ-%dT9EQInte=?W#4&v2Jh4g)*IPL57J8W^>y|>7p+EGlvR2A1 zWw|OqGNPS9>*O)ec(fr-^vHgLm;SVeu~u0`|(~DVn;>u9OW|lm7XiszeaHlI&vQ8XFt*B2ea!mM<`-`Qc{KvI)!fBd+afb zt8mNM@3G`{y)r5 zt0$74%V)Vf%9?r6QkT#lrj}`TXF$x6)cN~dQrg!%z8cBeEN_`5rrUODC9WS<>hH}* z)g0dFiLX$qbT~*Huszjw0o&3(R(e0~n61Ag*bR-eRImQzesx(wYbpaX$9lOYby{;JGazqORML(rhKQx> z@Hz-(K97@^-_Ke0c(gcA*@ME#Yzn+0pyLR0;z8vrP;j{!oEmfi!xAWF@YGAwmY_=W zE_I|Q`GHcj$2YoH(>q=V>(w0rIKPNYxl$XrQX4mH zm1OcOs*hkNyL#+H?zF@JmDDwMpQJByvE0K!REVrzQENvWI&(NFkSdJqQMHdNMP{qS zKaTWG=o2I)r#0jgTCl0>LchYN9Qk!jNGYN#<}SbyhBZ0?3->=VlZ*>F#I<$;Zo{-Z z5XR2D3(@}0xlGXI(poZi#+? z@hF&w<{?q;8Yp_rzXry9xc}h~0ocCTzp;j5ezAwWy_r<&cX4-;K&J8k+>?qkbWLK{ zE+`ou7bUHs2w53;_aq6pK+H7lj^m}{||f@MB5Y{bo@y+_@4M=$5d;r&|fr48u@ z*^)ij$ZnCYM!>>9GH~C*UXPJUk0xvfe6JariS6wJlDcFp!`(z+wuAW-OU4X`!+6JL z72y3wmz6cdkToPib=LdT)}_LLtDPxk)fy6E%z9#}+6pjz27an+7kpMndF|ltcmFeu zt`hO%RGyK5C20es?L#OSD>S_i#aR$cZrlft%ag4fx&K@pt+T2arL&FD7-FdM+F4&S zdU%y}T|U5;?dt1>LXH@Wcb*^@zu~hS%h?7?kr~p8g)h6m+dKCGLS@N*rheJM*JY~} zdO@KNYXxaTnv@&Ut9P!*{>JolT|a5K`MvC5R?4DMzlzZMGT#>S^VA>GY(D-lZslg4 zcM?hIWh%8BO?xy5qQIYFm)&9TMgLoLr9H!rU^4Y(XH{H|!{y_Rb@$WU+OqrvuU#+F zZaU`sS2IDsUaHUETg5K{pZvaQr^F2%L#h9$xjgKqG8VZD+Q_Dk&9Xp@1o+-lD(}(# zlOcGxGEyi8wk`_hXYR6$EBg3MpH<)X2gdz}q;R5X?|f23fpbhqF(ph#0XE-|ByK8^ zfbk$=m#Qtu)c{;Y&wF5?*bMVfzW@Q>sjlyo7_EvP9dg_h(`|^K>B`&WDBx=PIlSnR zfB(YN+I)?8XbL-2>bT%dJtz+j7Ty4FSDoUQYM!U04ItOXvfDEWR2ltU$(72>itekI z7X7cD7x|I!-?<{&Ji&$~Pw9)YLGQ|e@!pQ$Bnn57TSZu2izE?U!os|bD?Gmh-C+5r zUcx9)Gl6FU<#|g2^1-hkVneQELht2{7u!x8bA+_oy85 z&njhZ^6*{B^;m_wx37_8V_t4`dR3BjBkh;k{FT?ruZxW1&~2j>d-$1Fry6OE{zlEq z7e&EdW>D6*#`Hj?prZN)r|r;#dgr(tk>^oOQCd@MCp!*te(Ub*-_-`1nM6+s_&y(p zap(RwR7LNC6tSd!V4eq?GJ93Hgik+QQe4Lt?27A-^}{jW)S2N+k#FMrF@*;txymHi9OpR6tpxh&Bbs-X{%MHxMIWjPD4W zqWn*(&Fujf&3g>gCQQ_N+o`;Niq?iqvCf`rn3InWAX^U|kSd*&W!vdbd$<9KmH;}W z@eF#Qa07(5vqZ%L0r3q$OU7M%LIR6k(DfkH5V{&0o3E>t5|7b#X*SHFiZ+|qQ=>hP z=G>jaey3Nnn9#hG29G%JHIA$|qF*_h$AGgle?6ZV(}vAYwr+Ey$Yi=K zJc5MmDK>y@lDaA-@7T4bW7puo8aB=ZuPyd#F@XO5R1Z`%1PrK-5MOFRt`4yM6D&%c zzY%w99u%?Zw()sld@=E|IrhFC=3CMa7?Rb<;AqcpR`k?8(l1JVPbtq@EGOVAF(Rcs zR8k`GakN%H;(9gPyTN(cULx31%YXa#Mbx6L+~nNms-secnAs|?gI}o{X?Ib)c_e)Iw{g3uhO?^{QP zlC#4!MFy>}4@Z~zo#-2VpH$HHUfnGH@9TiSGX03YJ4nPu9Nx27)f^Xk>S5P7qi2mR z=)-f&9Q%mfNKbY$PxX_uYpivQzE!{Bv16-Va-Or6yJIkCWu1m+*_25KKm3&Y*<6}2 zPZw5YnB(+@i8V+6f^*eYes*Sv73DHsnTPP)t<+Un=vv)=2L>lf`bCvJ) z)@hG0+%SP8%cb}(==E7%`py|^9PA)EQT=B2^~~Jq+9b`^;*YXJsxs<NDvZ~q2mbl#UV9VXnXPDkHN0( z+!LX~7Y|*ya!>ypDhxj29W)?K2hPe*9Sv)LSLJR(TWdt5(i@%F&UZBSrkJs!}>IV<4>qox?e*^cAX=ZcKTXS+SBp#!FsNopZ>uE)mQZvKpToX?PbYKYwBdDG{v93y1s@>J6- zC2Q}1s8pstaf`mtruxw4ScAIku};|C;`~uv><|}%-ntPmo1=U*nO^BR;uSF0!NWgJ z|C9N6c=N->7Pb#RXa^~ak=D{P%D&UeA8S0i-}xR==@Yrt1UW47EKS$eBR$8g-{_o{ zJa6W6VNkW>zs4sn9iRO4sAp;D)3-4Jl66luRmM#An2^LeY5{tMf39;Ss-99=+`zhn zVbG4?Gps$0dOKd*IDz0MvHgFE6r@)QYa>WC)C8uQp^V@3} z=M^B#fOOaiV%V6=Xlwl6+V_O-CsE%L6>M}2Z#z`3;)Q<1j0eWOYt^f{_V&RwstCMW z2p@1~@}5%D-pk?tw>vf@yUKsJ`!{`u3n5cYWiLdZ@0n}VVDXv6;`X1W8LODCbZs^)s6^_&}r?ZkV#ZHN@b7qKVLc-lNK!B4hnB8 z5g_h#V921q2uz8u(7hL7*F z?~nH=W0AdXqWC~8$d#w({(}o{YnO?ri$d#%m9&dRpD$98_i-h!5!UhS|LX5lAckl^ zg_T7}4D~&yWWQR2VfH;kQxV#;|b`q&S-76fy!Jx@VP>Vcvl4rnCmJC zgKT;QTqNlbF6WR;!P=CXS_nLW1;t3HmlYJ6JPM0`TtvP){wgm&1?v=Xl|9F$e(6jD zjJsEdF{-A->KLY%-l|z-jB`D6srqlekdIStt7rzrN^SV&@iLK#S}ZFoCO5y2rVf~1 zw=}o?ltzZEslfj+M1gb$C`!=y2fp!O=Tu{n5ot#Z-m?^~s@CQ%A@4b&8gG`q_De1t z$xhv<@=4*Sqq(G_+3U6_R=1Ho2h#YOaH{4!;)iwH$BM~9LpH!7`FTy{;s^tx#?4uf zP5l4tE*a=Hps-rtb8HDI#$P0yQ7o?{b#DjtWG~IsAEH_`uxVv%S=!mZXQ5BvWTF1| zyeJ+=wC=)lkN=V1H%G2rt=*GsKJju zm(hsFYOaX5%MRy>2P-sT`xtdlAYJk=ugKxl+gbckeW*v$idv6jFJJSQKhX~Z-^KZh zd?CnW>p6#1_cIOxMvVqhjn0T_lzc4@s(E)wfHOxifpT#Myh(!$dDM59!o-+Y^c7$i zDPfVP)a187&pWmo#-A8Rp1qL;$O*q&G%0{2s%=Q5n*k@XreC?NtvvVtUay}W3G+X? z8&_ad7ksevd)nqg(pc0n(!9IcF9o=xQ+s{Tcr%AlZGv)Y*PZP!vLx3wULY@sIkSGW z+F|p_z>Jq!mB*-nde*`lUmBbL*J?Z)najJ5k+3YN<-$>Ma+%TgVHJm4WPS{>ov zgbM6=!m`RihW>zt6Zp+lNI&=b zjqJv5%yRDU(dYN?@2`2x%;PcVoco;XdR^D^9>D~93a9VmcPXeh-mRrhcBXZagL85d zN}QA$&(Q^TOLvG~A5W|H?E2i@lkwVv^F)a9OHB%zXyIhDkoRhOc3zFVLiF-H7K)+Q zvUW|roa3?Bq4*(aa;PG{Pdc2Y#Yv-8QS#@pH7oX0)zyTVn3iFqK0ik6W!p6gBdie? ze{$TlslbqEyXj1yf>vIeDM6B5KkwZGd?0;2y-_W`t$HEbp^5B|t>(LryguSxhCcah z!`|MK27ge+d;dAvKgO%D@u^D`+05-D`PJy;fCimHnWL5M0ahxe60KE(ZMmBD{c!w~ z-UDFscB4%M;*^Si!^Krz+p*w31tpyFAT9c7JLXGC*Vvt1T0p!_;Y6G(C6l-(y%)tN zJD${Hd{Vs*r3iG^q^sGiDiKM|8&u8Bbp|!cqJjM5`(l`psoIPTL5(m=vqpPq>0iVj zm)qS_7aJ$cvt^T;6eeT6??Swr0ijJccVFHvd)F=C)CbmQJax0UxJ;M-1nHG76k4DM zg+D4YFFV@{Rq2QM@Y=@tm1znNg$Q1wBp=4f3Mwre?qPg4TVUwfHV5Q{B)p8D%+0-U#zDE+shS*Cc`HH#JpzCjw45DZ5{WB&_o&5ie}&MiQO zrffI{(2(l&L$^70OxcoGw@X<7SoNI~30Fh0~?`5XLFj+a0SO-YYiKoN9VYqzR^R>&f+ENQ*-{l2MoHYo~8Dzp{>N1UXn=)TJwTdG6&uU$vWSjECbA6fawJItUvMRx@c({+GmhNJMTlca0Ax4Daix6!+L{q&eM;?Cm`=a~?F!ojP!)h@o140ta1i+UB7$?hGL7`4Kgh=W5 z#;e@H+x<&Wqu+L}TY{6p`tLK8&UL<-r&eq}pJI&5vcd_~9F4quy4N4dOs8I-`e}|g z)o1>OD)3UbPPT6sM2)?Tv?f-~Jw2Q8Wq)SGB=%4)XH&z;2mkzCdOaI8-`tCgKP>}= z9p$Z|uR8X@@p<8h?bKj>aOMY!AtnXQM(r*lvz;{2v_`CYA2S*zlkBda$LkNh2l0v!;P1SKF8>bJ6GrQpvLmWBgR;QKU z0k3u{kj%C}VLzxCccO3?Wo#D%TVpy|Jax7VB-f%HY-EASGXe?8)E>ifbD-6ytIqRK z(>q+J##JaI$E7~G-JUB|&k^eoW;V^x#!Pw50pV&!Mm9tU-bIO1IH>~ebZSUYbbcKJ zrSVfun{2|GPw^P<@tI%zTzHcw4Sx{K)@7l&f7v9htJ4f>)i3jTas;(B zDI6TwL_c-ryBb_4{IQ(>%5Rspcc+{@-_POYEM8lFxHy8~oYBK_GqdeA{bo?#f1dtx zP8OqhA~3H_@ENC1s`B2TiSp#13tA?Dlk;Zbd9_R$IT5L~deTxF`Aa^K*XX;aU$(1j zC&TqCC`?Z<4u*#530*nmqrS?bizSW~$^M(p5d(rgb-BtsCZrUsTu5I7U0Gj#sZZ=&z zvVf9QsPmRQj%JAj^0Nqq)hhH=sM0o}7NL7}7D2Q63^*TN^}G;du8bREQV!ty5LhPX zRns&o^a(kVp8ch_x$R@iw&-|z0^0ytBoTPW<)A~nBVyXTc^r7s<~Z7W@9OMq#h1>W zq?uLSX*L_p3gspI$6Swhxnxh;s6;ij!^V!#4T9oXvAX#{ou8H) zW7nPk%x=m#C~>c5f=b3VMq+U4lmSK53TY`*YysTPbsz?QJ!|r8qzfs<)Cqnr>kyN3 zziUB{ZcIZZ4DfZe9U=9E+iz%QGAP#|f`lrmSsqyu|I!KIa9tV(FS7x=c+}{ieZdMz zk5dS;c&2lJXnFmI;q4}Pbb}vn^6c6ea59mqn?mi1jlMN(8Ez=9*Db6*ryY& zhv@F}$z1Cd4`6kU950O0bITP_Z?bjlJ=5i_sN5OLA6m<>rMNORt1LP+Lo0v2PR;cW z-(hBKve*Yj3(k7h=OS24IWDCuZ|qE(;CaLQ3mBZ%n?$#dIAd@RtfqbO zn_VHfYLi)Xd8*K{ezWHwIqw|6_ros|+$nM;)i$uK8f!jR`JAe0!cAEs9bjOrlgw)* z;N~rO{~DF+kbnF`(prqL zzl@1|)p7?GSPGq6#`nI_KDRH)O^cdKP!zB;s77;-XM zx>jmhY}|Iv_e#*@g2?{ll7swT)^zsbNy@vL)~FAJ9YptMip%f7-5=2;q@nx(6fO~0 z@2d*NX}=?jQ$&b|59dw;*1ksvf%?2#sFN=S02PPkd#dhmbBdMaFd<^Uy9XBOAKcihmKf8>fgeajY zJxXP*CF;Gv&v-oA5%LPAZk6jq+HQeQrpaU*sYiN|u$`4e0h1SElgLi`tis;ZNoxKnCKZ z+m}J|j^HTLEKh(~Ykg-2MRNqNZUq_BiY)M~#bY8#7{gIt{7|+F zapMAwXNYtD%X#P&+jh0@jfmm*ScPk$*7^6t<5EequKCFlA2mlGi*wqqFS}dZGZ=ZH zeBU!^Ppku_Gbg4JMt?izW)kt&+3GaI`rfSHVWztM6|L4X=Np4{?Klx13hk~5?o_PX zNbRJzbfQhU#sd8GpZ7ygqcWbZJ7I2U*phk*F0$}inT}#8NaN8pTn8GKEqZ1 zqutxj?*|W$b6@JlyR^t`4jUJzU_p+qOScds7Q`=gugMx{7nulQrK=IQ5eGvF;t!<4 zLKWOfF8A}jzrwOC@KgLw6|LQ7%G$xJ*{z`g{?|Tq#zVE;sd0jv86JloM{Bv9*R!Ay zjyclgYQ{BgPVcYs38abhXo;MPC*pCVKWWs2HMS-+zFWMaPF1p@v6yr|m#PW^=aBD? zy23c#s_oc?Ub3!>xJy?S;o=7g4pD0^MZDefyr&8pOK2g4D33RY+7CxF73`v^(cp~1 zXY!Q@UdAINQ??)oh~YqRgF#>(QLF$)hK;tsrJ)N@ z@vWQG2R)heH}Q<^L8A+iz4Y>20cRE1q7v$pu8T+?L~ibg2%{RmoY3J2W8UL!&1SiA z7uY`y=HJv-c|=jLi`vj6D=F}lq09VN)gobodWpS<{47(Ih$w*ZUsG-@OF&yne zz8$9o3$v)82G?{##l0_OlRsOv886U&#v+S;SiQVU<)R9#vM7&`ul2nEp>4(Np4cvG zljkNZt!oqD<0V;YlAc$1Jn)m6%H2gM*v8;}L|2Q!aAt?1>^{3oaGNBiOQCN!%4B|h z6XUQdR&;BhEI4;Brjli$v-OC27Fh)HuH7eMxi;g#2Pm26MHNsvvah|7Q3^gz&H}Ss zR_BOb6!m`SRV#*W;UDOb-Q1(%7+dB`C50&$pDh|^nX6X>`Si7CXIm;)lpiK$rF^YK zeb{l_<>AEyqJ)FKuv>23F052rm~*}Q%GcCns(XjdXs9GZlhMwVd%hF+ri*ePoxLwp zH-ksgk@X8_UE6Jn;9^F^N{{V%N_A%hjiU>D0_#2TXw}X)k z__>d7i$}y~Cor8o*q^TrS0uSevM2#5mbc08JGf7@Py zT2yxS%@UG1j(XcaNF>V9&&YxrqfW8FCEfzjDXq-s%%i=#o)8d*{~nn7KWHXwG`zT~ z-=N`n^oBXvXC#V*^B9!_m7YA)exBAh@);sAex!lPr~ie_b@T|R+h+7(&T8db4QGw0 z1SCUqzuP-Eh}9}?VVO^RX`jpSJ(*T*iyt(~+!RhWXSw>N!nh(LjvN*TkyWe+?eVO0 zo2QE2S6Q_z|I!hZHa*i>RdVh#hYXLj$Y^*8mGfe<(5}y?Jd2lz)ZcGS-4&N^1~AFi z;wa6}7fF&wvW5voacO#s$UMX~W1(+7Bv&^ccrpwH5m~$kf5gIdOhE{;c_A`s-yItR zAz~7MqCqw_yu>5B2+kGfR*s_g^!WPJy~H1u1$@^63;cy*Zxej2-zuWFNA$L^BiHpj%iBQKcB0Pc&CIUgsI=S31XOzmWL z*bPnP=ZQCh+jx_e2dDm|2SF^&p*SU|o#HqNkD-6&RzS7P`}Y3~-V`*N0bSR9R3sQE zW!(iQUsE#Q>5Y0zU8Z5=YcO*wh2D*KP<~!F0`-`zQ71jZkpEXH)s;42k3KRPRgcFb z6z7vG&mX3UoOnBctfAROj~2~9xt%L#;0b4G;8upF`cVZ$PV()6`Y=+d0cRAP7?hw| zhd@ouPjiA@3(@@F6syTAXTDXy$_#(eWmu;6jx-juWj4g{r5(TOD-jVwRP$$0BxfPFMd$x`YyXbl%h=4D3j06@h;Ec7v3I~+R$L}zpsQx(I ze67P&|v5EMV&X1H|D#HOtar74y)nj_Ky+2LNrfKE_Il+v!wK*S<0tI zT0gVSrKyPKJ}#f3F8M@9zOaU6W7_bKS4?lj;r(!rmi$9^rtNO@0t=Dzg+9%UO=Zju z{Qap#*0%wxjEM;h?7G@PsZrnxxKO2!Nt51RjJ3qXysF5`GF!^Gr=7g;E?7o zph;%og_Dd(4KjSrZWWoybKEjNk}-Ed`-7jr_c&h#LiScJOr7DFG(tU}(buK%O?~?1 zSEszstl8*IhkBjahtv@B5^Eb}D4v>KI~fn0!;DXChP?Lm=Yj9P=6vaYQl-ppYC$zZ zBbbFhLQEm8-H{wkcYO+Dle z*2s42zLpkOQ;5Cm9D7c1KYcw%Fi=J%k((45_^6PzLi%G)WC0pMseh-agk;al_s8~v zD`SuUVUI|v(21mw9=1+i?+94TA^_U`^dh~R}o*{#ic zW49S_gEsU+r9b^CrqxCK$Y3H=Mg@OZ9DHOiUjz$Q{lKTXs1M}UGjAQo8=$fZRGWZF zpk((kXdqe0slT5QW`>*(quyVMEStgD-vy|AD5e{D@xUzSpWZiRK&AG3iuKZ~F$Wf@ zV0?Z9vx=Ys@9e`#T`un_4}Z*SY`<+eU~H{8WA!xfae*kd?Eh7np5DLMu$FHehs!Ww zs3yHWTmz3Bpp5@%UKUg`?;?I4hq^iN$YvW24?O$VMah7t=Xn&h34CYv)t1f0#tkKE z&!Z;xQ^R`q+6(JVZ^_VC{CfIuwzO=?tgD?#7Jt^iADn*R)I}DMhln%(xy{+{ytub2 z3l-}egD9t9auSaZ5-Z|qNm5!s-pOMoUf&|{E3AVn-$6sVgJlPa<+u%hC+Xp0Si7+# z0c6cNi9E%lW=Zov*%=DX#7NDd2OLbl9(IH!KWO{GG?32P(!u(?DX3B$8?Es>7Gk=z zgxR>6^B$#7ofKf8_Eb!_5Fu>-z%PtFodYp!Uuqehx#J&MxmCk$-Gpf`IxFoG)3B(# zQ@$@9+%@gu>b9kJ@OB{b3(>t?a4k9VXrSnTgz{+k7XBBEyoX|V_Q%mvA0+{b60%pw zazL&e0ls5{tUYcU_aJ-cU|)*fHx!mnv}f^({i&I=ccra=U{0?~vSKd`E8V~9(8c&& znL*Yhf}~+qr4L-X>f<+}5YU`kD7O8-$OjGK6oijK6#2nBoegXf z#GZ#`KMhLi)co`)w+^;oizrYkTz8Lz$JS%XO!#5FO2pdrWir9w>~U8VNybCI7ZM+! z{%&Eb8R(_W!C;{y64)CeQEVDVPU{2{oEhK^32v>hyUgQFVuMB5In7+wZX6!Uip{>xTT)JF zmeemP9U7V3uXIB*_3WI)Ss2tDC26*qED+VSe0C(CF}S@iv}quDSx9HtG<)wXbjM(+ z!%lVHWj8aF*ggivO9 ztEFEyJ1*T!fj!D$!Rz@1OMl5is{9=^uyVp{p9TJNMEhs42c^v|h1>T3@)M6U*i8b% zUPuzYG>;lwG-cURxE$~M)-tc;U!&q!uD)I_XcwnJ;2po%uiZoxHY%*>j1LQ;w4V7O zg8s&RJ~5T`?1$yido7o5Glop0S^jP0iATf=B6%72zv|j;>h>^3PLXm9*s*gcX$3PRQv1E>(1AdvzkL{ z8x2cJ&)S(iJK2Y}Fuis6yCO?%(2!Vvg>%orfFW=;_j;4E82%dj;bqf=Ye)Y2;n9BX zwft(wk=n9;+%3L%n~XK>-mHhe90D@Zdn#G%epyfV=KP*~BwSG&x2FligMh_IlJxHa zR*iyRM?AK!J)CJOAuV6;_J|^FBz{ zFln1Jr)nPPe<+T9{Auc_?XkvUum+a~G%T6}W+at9rh;AqrWHJgWud;-Nz%yFfP5%{ zL@M0pNg8K&K-Sl7677QgD)daSi#u{pO=8)slYW++yRk#&AQ*Jr;F&)i5cJw*m&cT^Xgw zCWWE6>t~+)_v2>#77TV1f@`N3uY{FQxi7MOhZAyR%*+4uW$tbD#(5|<7ud>)O$44e zCbQF0^v#>pGD+U)UC^-UYa$ulF)7k$^DDLEdM2Z63}ED%N2a-rLADZ|7)E$Qqrfv7 zj%&tMpy&;yHVOL~cv&Vf@1xR+;=qI$E}Qmd(7s*91BpHLDFN03iKLzPbc8Nr^177# z$bU_UzHy~+<-^lcx5FmPB07qr^y)fXcYCKKTYU8i(H#JC_3sijp?C)$<bJldlG5D4|yST(9f9d02nYBaKiXZl_KX}7p5hisr@qT}! zb`_tqKWJC}9m0BlGX1s_F7s7t!^%T2Y|{Z0+lyo%y_u-m`hsaFhXWff(qiFbCx3H=CgE_*$u8vf z){x8-md}FZ2UwemmuY_ABxqg6I4|nOJ`q`Vz9}5kC z<4ub1yktC?DF+pQBf%7*3aLjtbM@_ikf%18OF^{<5@zs=hw1w)%u-Lm?2|B$IPr5; zz;nF|YcJes?H2fIoq^`-fBchTH&^A#v_S1{rR)!xzGRo`#v?SrOW}?VN!3ih`}fUM zNAE?0DA7LtsHzlVuMD%n+( z#}RCr{kd=q>#~@35o!9-WV(yKgTS?F9x+BTnMLnhqZbvft`E| zB|QBKoWGG|MA^mx{?>q6D?Iwo-UO!q8ccAcHmPv;2y_ds0vhNFnsx^qX(HuTN?S{K z{N^ODUykN2=j#5v*oFA2Y5o4$Di26WBR=tfulL_>#A+?N$WN6$sRr%N-QWvx8wfqL8`rRol4|_|H7ei@xy!HEtY%NCax*F%>=i)TwXbF zS(8;juW&~}S*D9Pjew?VpPt1C!jx#a?!wW6wovwMrcF)6m`8lpZx)*hq}`e70axYv^X}41t8j2(VI$f;6ZnfsGt=A= z?Far%y7|7di~zM34fLKpU6*-~(;4&X2qWu%7Fgu5uOqVPU@;8&Yd{$!K{$J!I0CDY zRBtHGvCsPY_|A+|@}fi~Hnec&qt;!QB1aYR>bOnGccr?Nr(gV@TE33aZN~ty1CfM> zg%ktZ!2LMt@*ns}zEeHr`xIbm&Vf9(7d3#Pk^(-;XfTA8Jl^(r0WS2jY@%;ZA%_$% zxKKUic4&02R(82_Nczw^?<(*%Hu>t*J_08We0q>2$4vx=G6Cv6Z}^m_K%wVNpnXhr zY3X1`>R3XGA&rhB+3i)J@wowgb1|^&N|4acaCh&Q_qoFNe>iT9_uRPxm9i#9`20ch zEFevD&k+-{G3t?;NI+7M3!lncmT$C2p! zL8;8|>yRt|JaY87=VpQN|Bmo1MwRD4B^whFw5}BjfnD0J%q{OwUCnznQ`TY&tcnS2 z*Gkn@=YLOpotB*VDz4&R%YNCIO6~2t0>cR5a6@4uZK>7H)+-lNgGhQV2WYGREqI;= zu{Qf}`7FFHSrmM5cavL3yrH3kDWpAUzqfDykFNYdza-=O{bzKFgYW#gywAie)+dAe zw$#opYi=RkB*T!|BI`#+&MpenE0ALwemYamGD31U_*;Nk5f+NBQ8}R;1Nh=$)Mj;n z(uW7Jqd zB*cCe7N=L-A$Y^NfHcpWBcK(;*-pP_sJ-5`#tcr^QPF6$9YZ2JK8fHmFL~v$ z*>&nUxwkUoIci1$KYn-?=COKzlKSXe;NY|G@m`5)OigQ^RH`emL)-(D@UBKFna2A$ z2`RmW;`vd5c7pl9E^N6wY_Mc?j!-OS7le-FM39?nCk1XzELjgfl%{;_SN__f_)G%b zjkvr2z1v5uG>wEVAZ`c3cmGMqhK$=43GgOs!%~$DVIRX@kZX02p$@GrH<9`OC67Dg zne+6NO~}e7WON9+DbVXN`8RvtQqAY3io&~h)H19{qZ9QTc?qg#d}pQ#>mWfNY-Wo? z%W0Cq5}Z~_J{)_hKJl=G|9;yFgqRFC*2D1nO#46FhXPBMFM;k07)-VQ){IWo)=IiJ zW>;%M9sS@ClPDU)q15{6UJ&E?x$d&!7|LsE8F&bF6z$j95nH^3fOoRsIfD+|;KpOh z;p(ZMMK+m5Bw&E6at*^DnBevy??0jj;pQJ&zkVFl?r~C0?bxc+%8yIm@;W<9??WHM z{8;0(ci8hf2sM3WxKb1TL&Qjh5Xk-?FB9k5bAm?r+bM|>L-a({+fyNzK?)-M)G_}h zSwx;_o&My27WH-xbhpDSc0IAM*ii0EO+2l)PE-BMdzpPxSTI;lHCF1#PN!tDk4LL> zQLXm8?jt{EhgBM_082*!m(~=8Nwweezebg_aP_}dOA?<{3Egigq~w}uj!y=jq?(sH z(QwnO;p>K(3Hg9a!Pxb93ESm`KrP!bFcgFPpSEWQSS_J}PpWwv{Wgz5f9pgo>SMg6 zM`|&&#IAo*-g@spl|vO;0+NdEfeM(s{J7y=iIp@7vN&&wveT$t5Emzl!hfZj5k_cm uaV_Lc6gUkL|Mn=E assert false" at the end. Note: the rest - of the compiler uses an error monad. - - Lexer.mli - Lexer.mll - The Pascaligo lexer is generated from two ocamllex - specifications. Lexer.mll is the first-level lexer. It exports a - functor [Make] parameterised over a module [Token] defining the - tokens, and returning a module whose signature is [Lexer.S]. (See - Lexer.mli for a rationale.) If you write a new flavour of LIGO, - this lexer is likely to be reused as is. Note that a great deal of - the complexity of this lexer stems from its purpose to report - stylistic errors (hence keeping temporarily scanned markup) and - handling UTF-8 encoded comments. The first goal implies sometimes - reading more than one token, and an extra-buffer has to be managed - above the ocamllex one, so the parser is not confused about the - location (region) of the token it has just read. - LexToken.mli LexToken.mll The second-level lexer of Pascaligo, scanning the (lexical) diff --git a/src/parser/pascaligo/dune b/src/parser/pascaligo/dune index 170804c1a..85bebdecb 100644 --- a/src/parser/pascaligo/dune +++ b/src/parser/pascaligo/dune @@ -1,5 +1,4 @@ (ocamllex LexToken) -(ocamllex Lexer) (menhir (merge_into Parser) @@ -9,17 +8,27 @@ (library (name parser_pascaligo) (public_name ligo.parser.pascaligo) - (modules AST FQueue Markup pascaligo Utils Version Lexer Error Parser ParserLog LexToken) - (modules_without_implementation Error) + (modules AST pascaligo Parser ParserLog LexToken) (libraries - hex - str - uutf - zarith + parser_shared + hex simple-utils tezos-utils ) - (flags (:standard -open Simple_utils )) + (flags (:standard -open Parser_shared -open Simple_utils)) +) + +(executable + (name LexerMain) + (libraries + hex + simple-utils + tezos-utils + parser_pascaligo) + (modules + LexerMain + ) + (flags (:standard -open Parser_shared -open Parser_pascaligo)) ) ;; Les deux directives (rule) qui suivent sont pour le dev local. @@ -36,9 +45,3 @@ ; (deps LexerMain.exe) ; (action (copy LexerMain.exe Lexer.exe)) ; (mode promote-until-clean)) - -(rule - (targets Version.ml) - (action - (progn (run "sh" "-c" "printf 'let version = \"%s\"'\\\\n \"$(echo UNKNOWN)\" > Version.ml"))) - (mode promote-until-clean)) diff --git a/src/parser/shared/.links b/src/parser/shared/.links new file mode 100644 index 000000000..c366f9924 --- /dev/null +++ b/src/parser/shared/.links @@ -0,0 +1,7 @@ +$HOME/git/OCaml-build/Makefile +$HOME/git/OCaml-build/Makefile.cfg +$HOME/git/ligo/vendors/ligo-utils/simple-utils/pos.mli +$HOME/git/ligo/vendors/ligo-utils/simple-utils/pos.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/region.mli +$HOME/git/ligo/vendors/ligo-utils/simple-utils/region.ml +$HOME/git/ligo/vendors/ligo-utils/simple-utils/region.ml diff --git a/src/parser/shared/Doc/shared.txt b/src/parser/shared/Doc/shared.txt new file mode 100644 index 000000000..721bb5037 --- /dev/null +++ b/src/parser/shared/Doc/shared.txt @@ -0,0 +1,55 @@ +INTERNAL DOCUMENTATION OF THE SHARED PARSER FUNCTIONALITY + + Version.ml + A source containing a commit hash. It should be deleted, as Dune + knows how to generate and updated version. + + EvalOpt.mli + EvalOpt.ml + The module EvalOpt parses the command-line for options to the + parser. That action is performed as a side-effect when the module + is initialised at run-time: this is ugly and easy to fix. See + ligo/src/parser/ligodity/EvalOpt.ml{i} for the right way to do + it. Ignore them: the file actually calling directly the parser is + ligo/src/parser/parser.ml. Note that, as a consequence, no option + is currently passed to the parser when building Pascaligo with + Dune. This should be made available. + + Markup.mli + Markup.ml + The definition of markup in source files, and some functions to + print or convert it to strings. You are unlikely going to modify + those files, as markup is pretty much the same for all LIGO + flavours. + + FQueue.mli + FQueue.ml + A naive implementation of purely functional queues. Replace by an + imperative implementation if worst-case performance of single + operations (queue/enqueue) is an issue. + + Error.mli + The definition of the open type for errors: the lexer will add its + own errors, the downside being that matching on errors requires a + catch-all clause "| _ -> assert false" at the end. Note: the rest + of the compiler uses an error monad. + + Lexer.mli + Lexer.mll + The Pascaligo lexer is generated from two ocamllex + specifications. Lexer.mll is the first-level lexer. It exports a + functor [Make] parameterised over a module [Token] defining the + tokens, and returning a module whose signature is [Lexer.S]. (See + Lexer.mli for a rationale.) If you write a new flavour of LIGO, + this lexer is likely to be reused as is. Note that a great deal of + the complexity of this lexer stems from its purpose to report + stylistic errors (hence keeping temporarily scanned markup) and + handling UTF-8 encoded comments. The first goal implies sometimes + reading more than one token, and an extra-buffer has to be managed + above the ocamllex one, so the parser is not confused about the + location (region) of the token it has just read. + + LexerLog.ml + LexerLog.mli + Source for instantiating a standalone lexer for LexerMain.ml and + ParserMain.ml. Ignore them. \ No newline at end of file diff --git a/src/parser/pascaligo/Error.mli b/src/parser/shared/Error.mli similarity index 100% rename from src/parser/pascaligo/Error.mli rename to src/parser/shared/Error.mli diff --git a/src/parser/pascaligo/EvalOpt.ml b/src/parser/shared/EvalOpt.ml similarity index 100% rename from src/parser/pascaligo/EvalOpt.ml rename to src/parser/shared/EvalOpt.ml diff --git a/src/parser/pascaligo/EvalOpt.mli b/src/parser/shared/EvalOpt.mli similarity index 100% rename from src/parser/pascaligo/EvalOpt.mli rename to src/parser/shared/EvalOpt.mli diff --git a/src/parser/pascaligo/FQueue.ml b/src/parser/shared/FQueue.ml similarity index 100% rename from src/parser/pascaligo/FQueue.ml rename to src/parser/shared/FQueue.ml diff --git a/src/parser/pascaligo/FQueue.mli b/src/parser/shared/FQueue.mli similarity index 100% rename from src/parser/pascaligo/FQueue.mli rename to src/parser/shared/FQueue.mli diff --git a/src/parser/pascaligo/Lexer.mli b/src/parser/shared/Lexer.mli similarity index 100% rename from src/parser/pascaligo/Lexer.mli rename to src/parser/shared/Lexer.mli diff --git a/src/parser/pascaligo/Lexer.mll b/src/parser/shared/Lexer.mll similarity index 100% rename from src/parser/pascaligo/Lexer.mll rename to src/parser/shared/Lexer.mll diff --git a/src/parser/pascaligo/LexerLog.ml b/src/parser/shared/LexerLog.ml similarity index 100% rename from src/parser/pascaligo/LexerLog.ml rename to src/parser/shared/LexerLog.ml diff --git a/src/parser/pascaligo/LexerLog.mli b/src/parser/shared/LexerLog.mli similarity index 100% rename from src/parser/pascaligo/LexerLog.mli rename to src/parser/shared/LexerLog.mli diff --git a/src/parser/pascaligo/Markup.ml b/src/parser/shared/Markup.ml similarity index 100% rename from src/parser/pascaligo/Markup.ml rename to src/parser/shared/Markup.ml diff --git a/src/parser/pascaligo/Markup.mli b/src/parser/shared/Markup.mli similarity index 100% rename from src/parser/pascaligo/Markup.mli rename to src/parser/shared/Markup.mli diff --git a/src/parser/pascaligo/Utils.ml b/src/parser/shared/Utils.ml similarity index 100% rename from src/parser/pascaligo/Utils.ml rename to src/parser/shared/Utils.ml diff --git a/src/parser/pascaligo/Utils.mli b/src/parser/shared/Utils.mli similarity index 100% rename from src/parser/pascaligo/Utils.mli rename to src/parser/shared/Utils.mli diff --git a/src/parser/shared/dune b/src/parser/shared/dune new file mode 100644 index 000000000..7e62da9a8 --- /dev/null +++ b/src/parser/shared/dune @@ -0,0 +1,28 @@ +(ocamllex Lexer) + +(library + (name parser_shared) + (public_name ligo.parser.shared) + (libraries + simple-utils + uutf + getopt + ) + (modules + Error + Lexer + LexerLog + Utils + Markup + FQueue + EvalOpt + Version + ) + (modules_without_implementation Error) +) + +(rule + (targets Version.ml) + (action + (progn (run "sh" "-c" "printf 'let version = \"%s\"'\\\\n \"$(echo UNKNOWN)\" > Version.ml"))) + (mode promote-until-clean)) \ No newline at end of file diff --git a/urls.txt b/urls.txt index e538c3e7e..610db2b98 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo 604d7d8c5eb209596f929225538c2c3c 420 +repo f9ec38c6d4dfb4ef9f64edb361326b32 420