From 6a39f43916edaecc2746adac70ab555f03298dfa Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sat, 9 Aug 2025 09:39:59 +0100 Subject: [PATCH] remove some dead code --- dotscape | Bin 1052088 -> 1052088 bytes fcore/app-with.sml | 126 --------------------------------------------- 2 files changed, 126 deletions(-) diff --git a/dotscape b/dotscape index 6e0579bc1d0b07dda13f9bd6771ffdd100f38e5e..23c1f32bf0aee1110d759ff43862881923b138af 100755 GIT binary patch delta 11448 zcmbuE4_s8owfOIux%}A`S3p4AB(S>(3Ne7F2xtJ!?_+$%XN{%CV1m1=F>3Ot+7uE0 z?XHTJq(r!e@oA%gf8yGPDjT`TODvkkT9XhZ)mnauS*S78CN!AVfKBn8x%cko##i6( z_dX9lF!#=P&Y3f3=A4-jD zd7b1yh}1E)6boPewE2Y8CrP#W#k{sJ-$M?Kk=7Jsb9l6%U>Nx;NPnJvk#tX%PCfP* ze;YPu9cf7PRn92`UJm`M2RlvldA=74WND&QH7}1>pPi@T{P}Gm#4^oy`-v>zW%`pI z!pr7GmB5weJzb_28NTkPheZ(UG+*C}Awr%r`}&?Y67r1Mce`{y!H#`U>uf~dSaPLX2bp0f?H7JW ziwbu6>JFjN&apo8Yij{kNwr5Bi8EWu_RfT*(nc@Czp+OTfI~WY^fl5wO>+Lc5tjHu zez6o#peB*z4h`=1F^Z09%Q(c{*TVbG~PVhQh ziwCUVO#iT89PKZhK#B^+qrgL?Xo*lbI30h#qU7k`sBp9=RcdN3fRR#Pv)R^w^VeV$ z1|8pL+FV1#tL z#cb-%a&>ldvqB38ZIdONJT>7M?e{-OiW0F5kHzu`?YCPuBXy^IX?=mbj%_} zfL30g0X6=K(s?<}p*6vHDA&~)ViCQcW=rXRFOasi zE}c3JefJn@EW|mSPl_yPY@r|wTKT}yzXJL+`#sypd{k6?a?j`Cf zR7I!fYohUmgQ}?S@LSnH4y8+1Pvv9bOZZhfL|Z4}d=tUT=h&Vm4BCfDCG9*4rMmVK z9=^BQZ<59&>Bi||(w!vDJTt^AXTIGW6;&1W@0C^Kpb&$NEa&%ZK5P zNY$!#T!mKY4(ylG2d~QPRu~5Alac=R0g%U0+8DvF1o~KS_SayhSoATP@9Gpq!P}iHb=*2kuua+5QsuY()$16N(bwq|(US)jWK=Gt_SWzry#K6g7OGnS$ZFor|AN{U3-Y z}~-~62`n*Nxos8>xRr~Z*S z?j_=--^}`O$K~mRWJOX=QoB$?F=NzYP8phM?7>uEix2TOPLwtcrITldNlioF=RLS* z{BL`(;IM~Mq$77MM(022#r(?suw$78iN8wpUiV-=JOed1a6pX{U7bBgL%iMD!r-Q% zJEMqL=>31SYy0BAYsZWL_r>z%f(t@fE>tKIF#C1qvOIvPd>s@f^L4;B0SsZ%XPXGT zn}pTvA})aOxRgSKBA#XaH1_BpF)vdQ1|AVyovfXLg}p>!Jh_%3rJqb;ehN`sp%5+< zZ5}V*rmzx>$+)yal%*w?hCrUaf?-7pyAlfjC(erA=tgh!qBpwH8=ouQU|C_1at|h# zhQTt3w)5bKR@3Gon@}@mGP@oQ%gD7!Y_0*OPT*?~2f+8o2E=?2*U-x%4x%ws7*w_( zv@W(@s3Ew1x<|4$160Rxuh)kP-UiIZ^^HOeSAB4zTw+Ak7}fIG2#DsXlXVRTevXo7 zo6s6w(L4h3Nc|MKZv^nPkSfNyu;erNK|Jj0ymMz%L7`lo1bEm&4WY^K zs3K@d_*T$=zba^XKoz_+3U*yo1f@SG!I3Lc(pZ9&>89jsL{{Uo2W2hoQj#&V6DDT4gBrGE21;T!{2vWJ88;f{X zsQBhn(80ydJPmccEG~h|+_5%0;1M9&hw>$%Q2*#OT^BmmZWy$k!l$XYTgHzn@^Zy3b>Ka)E3q)Si z`~rBCMUh<&ef)u?Y=F&F~!IE$lpUu{_7i<%E6h zMz^gZ%;$kDf)by3;2~pzKg8APipG;%9G;*A*L;g0oOJgHH4ZbLsv_mApTYv%f``jh zFT-+v4R`RhF?|}y)j#ch~M2KaF_rRUhShR+qHCc)^ooLOVBOT9}Ja8?pPB$*G zCCC~kvyQzm5v9n_U@A~K|7UQMZ`>?vADkU-$McE{T%;uM8rGwiuFZag)+J$MMkw(hD>ugeqWwIg@U6bARtAi3zCPJU={ zdkkLp8B((avs6zM+q56z@Z`ek_Co@3rm~j(II3v5XFuSjViYTGfcu7{=^iv)Tv#~R zIGK4G(DXRg(f~=L(W9O;VUR3WJ?d$M8uGj_XdBLMHb6RY8f9A}t|{($K+ikM3I_|& z^Y#kd!i;SG0c_(pGS2}FpC!?(;{cRJH$>wsp{?jFuLsB3Fo7*N2sY9^iB%lL6^x$m zI*9GN2}?PIGhsPP{jCdUq+G2|e3MpglVC5TkTRVKnFC!u7V-Mc- zY!3U0m%zqmPiJRBT zw=vK21+nKWJj?SNIj7{emUFNj6I=doVWJopiTbBR6(wT%FPT`z(Ej?|DE3$fJirdV z50mf;$-3T$MbX%x{nc2d;cxe18AI8l9qPO+MP73eQZUI|M+YGSD+2>^MTy+2gu?NEbjku$Bt&?Bk1Gh&5xio-(tY<=j&xY z-ZMqvOTl8R;p@hQ>&CtSwc(;b&4Z2w-{vc~6W0_jo(2Qk_c6xBgRJFa*o;NOCoqw% zxC(`V=Z}NWdx+y9*7gb1MJo{yFAOH;2qzQ26mq*WnbQyHX1*jLJj_e{s2zKS@Nh4& z5PnoS>W7ptD^5A=FtWwl#8~#ZAN-{LA=c5&H?)W3eLe6l!NtAuQw+$Z1uWq@EHd@d ze#@BHqMulC{d`X4?bo3hKZ3BlUf4wZiE>*nr11@yUH=m%vItgk1I(Kna&VDiB6F1B zBE`=Ut~2OvC&s3Teu%?*XW^jBDJVX&=M@g}^Fka3xdXX7LFH~Ddh0RHU6}UvJ0aIi zpr)S7hhoY_-?{Q|`Y=Tcc?L^&*9yBML~VM8U>CxEei4jQNSK$6Kn1}!3JaW>9uCfip_ z6WFyc;00ng%f)@Lj2dnE>TSu9x&3@U$mjb>*ADz{B_FP!UxmO(w$DTJ*%cT4_rUWp zH~j)e%2@vxeyLLVxUDpTykM5Iw^9OemI8DW6?R%(Q8mi`g`L|o<+fKp$j}FJw>VY~kbZadxvSgOEi|#YozhkD1W}d>(%xC-RD5m{P z)>cOk$8}>PB~PL~xLbQ2v$>C08Kch%?9i znR3crirbfsUH%#MVNvxeEg=nQ?8d8fKc?EMeY6EXVWzPe_4KuW zIqY^lttI{uth#}kH+N4!YyMe4grUdp4hZZ$7!b(y0pSnD_WFR}^7je|n;H;K!(9PU zpDkxM;^N}lLi?65Wm|ah0969w@Bw$Q?`Za)nV$kfRU?i3u-{TbC6o1(E;{K z)QRPvwqm)E$X_3%2K=fqhLOYc6tRq9XOuFXd0wOQ$up_!@@sSp?hnOB@D&dLa??@T zM!3Mr*C~EG8N(8q=n_1=d79`x<>q2LMxA(!3t^SVX*yWt6UXVh3h?;oOdyUBcK!{T z#m^E$Z_rZG6T(VQ&`}V|Do@a{STvo$;ZI|?PtX@3omIBbV&cz{ds--d!A#Cz39WR9 zShHEeNqPsS$q8*V9}l-yR`MqO3YN?B-=ZCq9Gt{#r)eb_Gf_TznwA28FuzT0g#6Je z=f6Yifb>||<+Jn*mhzt8a2Ygc<-3$0a^${u=?vw_p7jAe05D#@e1R?iqXqXNzCl@% zSav6ERSK%~Df{Kuyhk9MP2$!F-XQS9hvR5`lc z`V40hZENYpOrt7NZf>mU2EB3Ddy0JS&-8v}tk?VKela8*cl;1`$}PsR`mdvsDbEfU3DJ})%C8#57P1cW-7s+kjEq5}+k~QX?f5w)0-u|OBKF>R@fce^ zTs&g3;D-jDnU%YMg(aB8l}0Om$8+O%JVzd@HHoibM#&o?&L@piS@j5UC~GO6Aw>Mn ziQhU0H;Y35>05V-8t@AWL|{UiiHAHqVB!e8F&3zyF1&tZ%cmm6T4Fqa+x!;%sBs`q zE*>dP#63ffOPmH9rA?=bSR`^Bt)Kk8U!qWCIS zb|i{;xYvBjX4%9qHHW9j_9XFVz|qhc@eV}FL&@Tc;RbX_`_oXgI9{$z7t?Y{Lo_?} ztT-wPZyD{F`RsU3<+;^9fn9$V`}0qd&C5j!u_heiR$+kO!IblCE#}@yENg|BPpl)^ zniXOismG0Vg&4-l{!G^MV=>+A z$McXYG|cPn!IKz2h2iA7ZKTFOlBJc2HeyMY=a!+5M&bVgC|@wJ?B!oF@P7m9@ly~x zQZ7zn@2wSo!oO8nl+UQFq#WnXpTRmLF^OF&7e^9*F1t}K7APM|m2YP(Yn|Apeoe(W z?a5{NJH@f`0~O*00;1fvK{P4>aeK4)Di7y>b9VKsMn3>BvoGZ2znuNK*71B+>hbGF z!FX2kikJa&SoJGn=Uvu}Wi@r;0PaFnOl%3|xoyTi@x@Rc2?s^ob^OCw>0w;%BjwW9 z#4=?GUiXS|O0pd~D&A6RZoMvcg%F2fd#6vt-w^x_#osWw(-)rbHp^LSFtOVe2He=z z8jNiDT0?~T$5LU)WG}5X#27F{1i*g+bF4MQvTCheB>S=gB^0rF6^3cd#kH&|H$<|` z3PU)5ir{sT%vFxBh5R+L9GhTWyxPuQVX*KzkxN7{zrLNw=B+o}&wjz1yu?A|dR0LL zSCz@;ZA7v6DhzSVw80QsS8fR9ro^#T>#=^$W)ujoG)A&^{@T9I5W_OL-E-ID9|RG+ zE}Xrz0nJkkwXDTT+YNH{FIJ*6uQ-vr{fqsr>2KfGW{DaV*V^Qi^gMr-_~2WH7UxE<*$=iC3NY zIrnq>M(hgf;}ys(n^3gLjYhFkJo5;XAoP+xz09}D6JJ;qPj%FjR$U({n! z!-YQx^bO@Y(?T@t3gQWR9IN5>Aa>|+yoQAZ0p&G%TpZ{-h)?VBm_Xk_+^@&WG<+_I zt?P7_kJ51D6M?=T*W-sZJTHjddQ3FDGl-Atak7Rl1aY?>M+Ev_80b5yLTB1jfxd%y zx*p@lLgi<75UJBS^6 z%yU2gu@ndTuF>O1RVvtn__Q7`((sWW?$_f44SyNL)(tw#sfIHb1^RwmkMlLWDu~^B z9H!x8L3~_~hXwi$;%<)jY6I@wp!OLU|6UfgQHNVK9KTU*wwF!U;~g5F6~wFcc%g>N zgSbJD$7%RT5MR{ef%R&iSArNe=}bGP;qXlX(~(scLecqJ&xCKYY=zq zaql{{&)y)8a_LNK)o{EkVA^y&-l5@HLA+Xz7izdXh#T~HoQ97C@kKozC|CQu62#!v znRZUY;qHKG6ZCkuhI4}0p~uTLygZ0&^f*VuyMy?&9*1lAToCu`@s+izNdrM__2?`= zqTz9#faQ*h z8L{N2D~GnHUSc&IM``(Nw(~T6 zF4u5QrP?f+IS|8-*dMkU6WMOO7zD@4J;i?lnv&URuIVq@`*O|Q0sI%%k9bAEj`q9k zn5?z)YxPsK_sFMJLjpYKuJ?s^y}Pvcb!_!^ZCT(BiaO>kZU-Fb?o?0 zP$II*7#?**Gk=~oE$di!koBrv>E&9DxENNnmC`L_`!c2xtJ!{?s*D8!0se6Py{1QR}jaZ4ron zW=2IzTH^2w*EOj!1dT%*qDB1|EHfcF8Q#WO{Xmj4r1kf14N1Sit-!)tFt3=9f$361K^gx#RNy3&XGj|hb2w}*EF4ERQ|Xf>7l?a~bn<}* z_}jP#tBEPsTl-)o@N(=QoIpOD<8}Tp6v)*%Qr$!O{PXFD{J5aFD})S8@!onk8+e)d zh!Yh~@wTt11>R`>W0n45hS&GlxCr8#;vHHyM#v{o-k}Y8LOzP}-l{lAP_g&>yioBqW8eBX2rr=-u`CvjU`*U*}`-w zbXfRTT2h$iZ9IfVH|Kj3UfKjuBsCmqCWGlxj%OiUm9}^o{*7&Y5q#2#)|ZGWOS1i@ z89wxe{B|{9i|b#WhK1DFc0Z&@m)quqyhVo{aZ<(0ao&tq4iSiv`j5SI?-YA~=nfch zHwqrBedUPhoB8h)meAp%EK*WfiUQL~$ts~}bUyyRq@?xFRA{xOOKt6iK&7Gf1hX&4 z-tX26qt=9?QMVI3?o)!R$tJi4!|naePU11@q;&7BNilR7B1j3rW|~s%{Y`Zto~A)? z*|MZc@BL^>mzQM)OlkP8DNQkcQ>@XdDPqy+RWxHwy5xK{lUUNc?XTtou^7EW$HxK0 zO1C-^4DNgF{XTA1XwhhMmSmRaCW>TuU>Ye&!ZJJ-%Wq)VVk9Nk)A0E#ke-$cqR>j~ zVp0NV<+TOivP_fC$mxb=V(%yMf+y67-6GQ1UlPdUg;HW?qW+^<_Wlr~=s7e?%KS^A zw6k;d|9O=R7d?P2c9LPCn3NdN*djp~HDQxR^sj*aP5Knaw*>28*~`nTba>z)QeuiI z@(j?})|4bE^Tc7pKmq#6Ab5&UG86<1%TUE}4I?gz(niKMO=Myt$D( z)A?pLu@y=kZ(boO=~CnA%fx7uHvXZDd=xEZ_AcN-zOfhM7B$rTQ3?IAKRyg0-sNZF z2(jjSE8Z%A@um>JRo#3lN+;enLWp$vZ8PzON@H(N!I#v&BnXuj_Bn}Bl+N^-d2>U3 z<-|8nT6!*3^Kt*Va$>pibJMt$d$gLdr%h3%sv=@QvDbg7mMxnY?o7pxS=6v~SSJ zzjO^MIx0U@T1mgE=-7Hy(IJIizE@iLQLMD#nuQNk-?fEYN8HD4KzviB)7MXtrhISR zpRQ58I|03l)6kmat@*5skVCQ3#s5erCX<(ZK7r~mS6EU6%oW~*FVBF%f^ioJZj8Gx zzM3`(YY3sd24bTN>-LiH~-wHZ^^Uwiy|tUC-vPtOt4Pn z*K-sdpw#L3`hdO}>ky@mw|wL`ppPKKmb-+Kq(~zD;8s14Vc!hDn!hQAC(rT6@Z+;F zhIeuCo~i#I;vZ%C#V4Clyg;&llLhfo`!|2#4b6YR-_Uh`E;;$1>4qlEB}Sv*!Jq3o zk(S&}NL*WJ?@#+B@z8G;zq9+|{86$lIXAgma8XPf7ECN-3-xBKVvY~-n5Riw$1=$w zBDIbEh-+{x_}^+UVzUDkgKh&>> zG=~bK$|8i;#Wo2pf|JKbSeFj!QKXr!b$TMjkhVl#Ds3^)CQP!f(YT6hVg@j)!#!*5vf;X4-(d;4$So>+KQu1^Ns zZea_dlVOn}XiWT8aNusgpz$8R;JXuH?*+eLZm~p$2CojwgT$1o%>0BV8#Fi%)&xc}6%z5na0_ftz zc0b%Nf=NES2>w8@tXKkP!g>Gme*~D$EqScq#~_1=VH1gR%yM{;auv2mU@8<)KjZ2Y}(rQg__E8z?mJY|8UIJkLow2jXL zd`Mk|{f4*Lg4N)~;^u0={UOVL9G-@^xstKJ$-I z@1G-2!g7&+Y5y5Gl}V9P1w;ISrEZ3gqg(vhJ_*aUnDvuhpmNd{ctnw{*#ZE^C4?>Wi1N ze+A14X^NKXo`pp;7B>NA+|ZJ=qS2LD5oQacIEdF8AQ=oyF9F}C$O|OymgbqPVJ~X( zg|X9nVG)S3;W@Y>^6x|c4C{Gc%J#!Fh+wt*AqmE@!~5a()NyDHL2I%VYx>ceQEO(= zs96bId%pvx*eYc19M<v`v9CCZ$vxo7`N61xFcpE2f_FV ze%Y?49?a<{Y-L5G4vb`Ht?2RL4#Xx3M;BP~Tn^kfJDj);#k!8VP>H%Gun#I@;I@drYUTB3z&&D zi`BH?3`WmiZo&HQFqV1(Jdev#pJMehD}Yz-8T!CkQ?3^Wr+y z#PVK+cg$8?8ysag3T^ywX78VmRo!Ts!{+~n>qF*oNXK2ZTy`A7046Y72RwsgI@AFR z$-o4bBf~$TM-I#A-*Ie6RwjBvCrW~ZhSy*fWXKy|gMPk$WeZPY?l9)b*}sDopvMD|&=p%!*hv`c1`}VkySm{W zei8{mA3O21XU2ok0z4S4W|62U-1^y*M(jA>Ef}xH z4Ef5tn0?}`2p~-uRlowiK*hBBqU6*|&;@vbAP@dKWb+3W_kYo`Sd#Z(h?ify2NeYa zkr@7bz7*q0QxrZIjAj>~H+GyimgP9VI5#6-{%yW;*l)&WQjv*IomcI(;7onkEebN~j(KrZX^@dYhcJ}?Mp37FaXk1!xpQdr_O zSYeorZcd3U`GpDRPcD&nU4wSK24VTvVJm5xD|cOobiM$yYk$H-Mp^j{NZ4k=4H3`5 z)^ePrcp+gwh3>YYA7aoCaroUeM zi2{qk9|bEug-JXLDnEs@-xmc<@%|{V#;H+I5QqYXQIO1@`wWr|mKkUfL5p*62}xlG z8fYTB`WgI;3`EIgL$HSG2QjJhqmnOW*O_6E&kU2xyYc2qK3qe;3;`T`CoN!??DU@l z&qp2fGl-J$`vZ7a<>zTTXaxBxO3v9q3B(N~qnoI($7GLkDeD(1A4rjx?xafzNr{#Z z?4m;{>(7&S8Oh=qZV8e}Mk0sZ_%%HUQ{=h>v;#=XY__0@z7+KhX0cwpbHH-( z>sWrpZZ**cVx+9zO)((S(3-y%5I;bV-x(07Js1$kzY`F=zBVBE`}YKd4YNBBh`~Dp z!ZJ(FX~xOLmxb=_Val@b%!^bBh{G?^?+pn1o-k!um|q{}UluTO{mX(sAl_`D#%Oea zr54-7@=rUk6sY`l3)SKE?+iu`)04!K$xiXIX&!UFM2pEG6TA2l-Hz)+*%5rj4S?L% zO1lUbSpPD`i<3;2*hW`Di0o{m2b7bG`6#sk8H{7K$7m+F<>SZbSp_(~bRnvm$j-b< zv-w_P>{VJp%p$8ePA9@dR(qUI!J_Rrc0YsNI!>Q~X{@$`mJwsNJlH|;4)gImme@(h zi0?j@c!J)>MK!UD7U1S~Dl31Deu>AG;@4>(C0A!Ma}TX0EopLV53RtdkR~U*LCu6D z&yow?q>Vt#v)IMc^c0rz{y%UTG-&-<$~QUk&{?`b*|KM!qc7sYTE2LmE(g6uU7#$} zSx!G~<~1+((?rV85x3r@ss8T&8*Rn-#%XXPKG$HuePkEybC zyZJGWAllY(9W#x;A?4)8+HTMrcf6;{y`Rv#mA+mZq6ftg3&u(aJLwSPSksqOXZR%@ zw(EtGBjfP^xr55`mo!!+EwfnP*Yq60`EziD{=G6UZrq|12@U}HPkIZ;NE90zqc_Rd zQS9bzTF=X+dNJ|27I8H`%X$!tl}hDA+|NJUA|e5vM8~K&NbrH-!$sB^CO*hzL&L>< zy@lt@&~Q&vio7ITBt&ggY5a;_>>#6<@5YG};0OE2u)Rwt>Fvh5kUjX^E|jphGQ^{7 z?RfEsVE}KWcxG140%n$I5ZCLic!}r0OFVZHYcPl}VMfWHAQqEBBdebvj%8oP@dv4w?@y)`76oCn8VG-V5^L2!HVvOLTcEQy=OFkJXHV}O>w!0lKH9ky| z%YGov!Zky#j}aI09?BQv{2%o3BHk+cyL^C^CWt*)E8#AYuQ2kOyT$B)KN{K0B=Ohy zu`fx)&AsYVw%9Cwt~xwbwj_%$07qjf;%(R~k4+Yz3D==Rx*vm*l`qH*nPPe#u})$q zpAaWTO|VoZ?e|CbmMf1@}692X-)DIC1a`+|{SD!Jmtn z2^QQB*+auTjzMrW@j5uT4l{8L5SCsknu(=QURsGhGU0y*P;M}=yv}bju2P(&c(I57 zJzx;`g2p7)CyB}I%}wGSersh^Zc|x#l~~N0Hi;SRy(%$+Smv=CRbruXS*qNhvFvKG z%YUPaLu;GI3igOotluj}zgL{kitTrJh2fmL zxJRr7G91Oq8!#}MQdoO~_?N%U2Jd$VC7HdvSDe8|W-`0)IWdfdKNlRHDf~-3uiu1M z9)+c>{5f$3e8uXY6Z`KlY6^2TiX*r*)iJRnlqb9e2gGMWd3dylxD*+qS;b+Dfhf7+ zC9zVOm)AUEoRWdZTE&~nmzyt(mqUmzc2~bw#9s*hLh%$SQooKL(ait%x9H+oRkiMJX0O63mTKKRX0Opj@>e}uU!%LmK1E$2I^HsaD&0M-bu*Ip zxG88rIE$>+i!7oFMP}9@*!VQIZ>&b}pi>v#SdGo+Zo)=Uz`zo#bY?D0L?nykM$X)duMu4Lo~L!a>`{mA1=hU<8>ru+ zOJGG#T_!89L3(S8ZaMqyHr--o>ymJzt9r zDthfgZx5I@UyFCEcySOvrNyNx zt_ote7N@EBNDyDp;*l!9&PzcI4vlHODh_u9Ov}>ZeJaikVyhOfRq@&&c4=|0iuVO^ zj~0ikxHpK0wfNE|zeyuOY;tNWKceC^XTb7hT3n^#(jazd@nRM44&q~49IxWeAogkT z^-90a>p>i~U1M6OisQEjOq;L8yH&h6h@aBpQWaMPv0IDNRD2|eFKF?|&;2?t1u^W< znAWS}@ErluvUccaKoYa^T1jeJ(__hZS5|dRO=2#NKT-49K2Vbv-TWJ?!HnUbA4tnO` z&%L$S;c;q(wW@;y^~bSctg|j)O!pneoKx!!sNXNB?~#xBtqJhlJKjt0c(<$XXW3J` z^b@xQ#Cq?jCX|1-*_n5|Tkd$@eaHLJJKhKGc#mAEw4WdZ`kU+jpd9A-Sf6F4-8i!6 zSl(`Z68wrivRgkT%B^<#h&rIp%PvmgEIalK%|ISeJM)k_QfHYDu`ZzMI*Y=lS$rLi zM&Mhx#oyn3fx+E1zfO<8arldn=huxdtik^a!XX;ALGmsLF~|@y;aYy^(kGVX)GU@i yE1Ym~V#<@YdvmL6GP5&R32WAEc>ICtCze#?WM-+a%gSo*UAkKS_~8i`j{g_Jgq9xw diff --git a/fcore/app-with.sml b/fcore/app-with.sml index 3ffa54f..dafb00a 100644 --- a/fcore/app-with.sml +++ b/fcore/app-with.sml @@ -2,14 +2,6 @@ structure AppWith = struct open AppType - fun updateSquares (squares, newX, newY, item) = - let - val yAxis = Vector.sub (squares, newX) - val yAxis = Vector.update (yAxis, newY, item) - in - Vector.update (squares, newX, yAxis) - end - fun changeSquaresSize (squares, newCanvasWidth, newCanvasHeight) = let val maxPoints = Int.max (newCanvasWidth, newCanvasHeight) @@ -27,124 +19,6 @@ struct Vector.tabulate (maxPoints, fn _ => {r = 0, g = 0, b = 0, a = 0})) end - fun addSquare (app, newX, newY, arrowX, arrowY) : app_type = - let - val - { mode - , squares - , arrowX = _ - , arrowY = _ - , canvasWidth - , canvasHeight - , windowWidth - , windowHeight - , xClickPoints - , yClickPoints - - , showGraph - , mouseX - , mouseY - , openFilePath - , fileBrowser - , fileBrowserIdx - , r - , g - , b - , a - , layer - , layerTree - , modalNum - } = app - - val item = {r = r, g = g, b = b, a = a} - val squares = updateSquares (squares, newX, newY, item) - in - { mode = mode - , squares = squares - , arrowX = arrowX - , arrowY = arrowY - , canvasWidth = canvasWidth - , canvasHeight = canvasHeight - , windowWidth = windowWidth - , windowHeight = windowHeight - , xClickPoints = xClickPoints - , yClickPoints = yClickPoints - - , showGraph = showGraph - , mouseX = mouseX - , mouseY = mouseY - , openFilePath = openFilePath - , fileBrowser = fileBrowser - , fileBrowserIdx = fileBrowserIdx - , r = r - , g = g - , b = b - , a = a - , layer = layer - , layerTree = layerTree - , modalNum = modalNum - } - end - - fun deleteSquare (app, deleteX, deleteY, arrowX, arrowY) = - let - val - { mode - , squares - , arrowX = _ - , arrowY = _ - , canvasWidth - , canvasHeight - , windowWidth - , windowHeight - , xClickPoints - , yClickPoints - - , showGraph - , mouseX - , mouseY - , openFilePath - , fileBrowser - , fileBrowserIdx - , r - , g - , b - , a - , layer - , layerTree - , modalNum - } = app - - val item = {r = 0, g = 0, b = 0, a = 0} - val squares = updateSquares (squares, deleteX, deleteY, item) - in - { mode = mode - , squares = squares - , arrowX = arrowX - , arrowY = arrowY - , canvasWidth = canvasWidth - , canvasHeight = canvasHeight - , windowWidth = windowWidth - , windowHeight = windowHeight - , xClickPoints = xClickPoints - , yClickPoints = yClickPoints - - , showGraph = showGraph - , mouseX = mouseX - , mouseY = mouseY - , openFilePath = openFilePath - , fileBrowser = fileBrowser - , fileBrowserIdx = fileBrowserIdx - , r = r - , g = g - , b = b - , a = a - , layer = layer - , layerTree = layerTree - , modalNum = modalNum - } - end - fun squares (app, newSquares) = let val