From 31c8d7d496839208e2e24e85190f4ebc09c1d162 Mon Sep 17 00:00:00 2001
From: Robert-M-Lucas <robert-m-lucas@example.com>
Date: Sun, 16 Jun 2024 18:28:17 +0100
Subject: [PATCH] Testing

---
 .idea/workspace.xml |  17 ++++--
 build/out.asm       | 140 +++++++-------------------------------------
 build/out.o         | Bin 1712 -> 1024 bytes
 build/out.out       | Bin 16768 -> 16744 bytes
 main.why            |  22 ++-----
 5 files changed, 39 insertions(+), 140 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index ff2ef1e..812ff09 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -7,7 +7,7 @@
     <cargoProject FILE="$PROJECT_DIR$/Cargo.toml" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="6ca282eb-dc8c-4af0-945c-cd77d70c6194" name="Changes" comment="Improved operator support">
+    <list default="true" id="6ca282eb-dc8c-4af0-945c-cd77d70c6194" name="Changes" comment="Printing and function calls">
       <change afterPath="$PROJECT_DIR$/src/root/builtin/functions/mod.rs" afterDir="false" />
       <change afterPath="$PROJECT_DIR$/src/root/builtin/types/int/p_sub.rs" afterDir="false" />
       <change afterPath="$PROJECT_DIR$/src/root/builtin/types/int/printi.rs" afterDir="false" />
@@ -189,7 +189,7 @@
       <workItem from="1717823358306" duration="20000" />
       <workItem from="1717823384677" duration="3880000" />
       <workItem from="1717830463295" duration="1441000" />
-      <workItem from="1718550169655" duration="6286000" />
+      <workItem from="1718550169655" duration="7343000" />
     </task>
     <task id="LOCAL-00001" summary="Changes">
       <option name="closed" value="true" />
@@ -399,7 +399,15 @@
       <option name="project" value="LOCAL" />
       <updated>1717826853448</updated>
     </task>
-    <option name="localTasksCounter" value="27" />
+    <task id="LOCAL-00027" summary="Printing and function calls">
+      <option name="closed" value="true" />
+      <created>1718558711741</created>
+      <option name="number" value="00027" />
+      <option name="presentableId" value="LOCAL-00027" />
+      <option name="project" value="LOCAL" />
+      <updated>1718558711741</updated>
+    </task>
+    <option name="localTasksCounter" value="28" />
     <servers />
   </component>
   <component name="TypeScriptGeneratedFilesManager">
@@ -434,6 +442,7 @@
     <MESSAGE value="Testing" />
     <MESSAGE value="Todo" />
     <MESSAGE value="Improved operator support" />
-    <option name="LAST_COMMIT_MESSAGE" value="Improved operator support" />
+    <MESSAGE value="Printing and function calls" />
+    <option name="LAST_COMMIT_MESSAGE" value="Printing and function calls" />
   </component>
 </project>
\ No newline at end of file
diff --git a/build/out.asm b/build/out.asm
index 77f19a6..c6df377 100644
--- a/build/out.asm
+++ b/build/out.asm
@@ -6,141 +6,43 @@ main:
     push rbp
     mov rbp, rsp
     
-    mov qword [rbp-8], 3
+    mov qword [rbp-8], 1
     mov rax, qword [rbp-8]
     mov qword [rbp-16], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-16]
-    mov al, 0
     sub rsp, 16
-    extern printf
-    call printf
+    call _1
     add rsp, 16
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-24], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-24]
-    mov al, 0
-    sub rsp, 24
-    extern printf
-    call printf
-    add rsp, 24
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-32], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-32]
-    mov al, 0
-    sub rsp, 32
-    extern printf
-    call printf
-    add rsp, 32
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-40], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-40]
-    mov al, 0
-    sub rsp, 40
-    extern printf
-    call printf
-    add rsp, 40
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-48], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-48]
-    mov al, 0
-    sub rsp, 48
-    extern printf
-    call printf
-    add rsp, 48
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-56], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-56]
-    mov al, 0
-    sub rsp, 56
-    extern printf
-    call printf
-    add rsp, 56
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-64], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-64]
-    mov al, 0
-    sub rsp, 64
-    extern printf
-    call printf
-    add rsp, 64
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-72], rax
-    push 0
-    mov rdi, __10_fstr
-    mov rsi, [rbp-72]
-    mov al, 0
-    sub rsp, 72
-    extern printf
-    call printf
-    add rsp, 72
-    
-    mov rax, qword [rbp-8]
-    mov qword [rbp-88], rax
-    mov rax, qword [rbp-88]
-    mov qword [rbp-104], rax
-    sub rsp, 104
-    call _2
-    add rsp, 104
-    mov rax, qword [rbp-96]
-    mov qword [rbp-80], rax
-	mov rax, qword [rbp-80]
+    mov qword [rbp-16], 255
+	mov rax, qword [rbp-16]
 	leave
 	ret
 
-_2:
+_1:
     push rbp
     mov rbp, rsp
     
     mov rax, qword [rbp+16]
-    mov qword [rbp-16], rax
-    mov rax, qword [rbp-16]
-    mov qword [rbp-32], rax
-    sub rsp, 32
-    call _1
-    add rsp, 32
-    mov rax, qword [rbp-24]
     mov qword [rbp-8], rax
-    mov qword [rbp-32], 1
-    mov rax, qword [rbp-8]
-    add rax, qword [rbp-32]
-    mov qword [rbp+24], rax
-    leave
-    ret
 
-_1:
-    push rbp
-    mov rbp, rsp
+    mov rdi, __10_fstr
+    mov rsi, [rbp-8]
+    mov al, 0
+    sub rsp, 8
+    extern printf
+    call printf
+    add rsp, 8
     
     mov rax, qword [rbp+16]
-    mov qword [rbp-8], rax
-    mov rax, qword [rbp+16]
+    mov qword [rbp-24], rax
+    mov qword [rbp-32], 1
+    mov rax, qword [rbp-24]
+    add rax, qword [rbp-32]
     mov qword [rbp-16], rax
-    mov rax, qword [rbp-8]
-    add rax, qword [rbp-16]
-    mov qword [rbp+24], rax
-    leave
-    ret
+    mov rax, qword [rbp-16]
+    mov qword [rbp-40], rax
+    sub rsp, 40
+    call _1
+    add rsp, 40
 
 section .data
     __10_fstr db `Integer: %d\n`,0
\ No newline at end of file
diff --git a/build/out.o b/build/out.o
index 6eed537c0d689d5a9d4ca62bd19a10b9e9b17282..77c790b4252fbc3f5c7b324708dff527ae87c3e3 100644
GIT binary patch
delta 338
zcmdnM+rTkl0dFS*5}5puMR?)?38o256K~luEnu1~#b_t`fC-}F08}9>kY<~l%c#w{
zfEgmBF?k`QIoAa!&wyd_BSy7)MxdNWx9bm&PS+0}&2I!=2!RBej|g}icm41mBKhIu
z;ZTpxr$A)_KxIEX_Cw4AX)OJ*0jT;7#|w}UP#XtS(F>sV2T-$Lcrd#@0Gr<pw4>AY
z22g{>i&g*s|MzI-JfZ<LZ1M%>4U-?Ru!u4+Ff!=FY=F{olQ**HPj+Brnf!!BbTT8W
uuxz{`LqSnyUP&55e7vDSd|Giy5nPY$WJ6YQi2x`c6fW#Q{0C?u2mk;YT3%ZK

literal 1712
zcmbW0L1+_E5QZm7wM7sYQ49#W3SvcwX-`E&b6I(UC&BZwC5eeNsU#b)CxxCu@b0n4
zo+Jkky;)Fbz2zA2vKL_wBJs8dq0YQF&!*FT2tL?1Z~phq&g{H>Z-S?fi-iK%QGkbV
z>{%6{cD&?u4Hls^r~coPa?x{Eh8K-65yg0dTST7_S;>Tj^MYRxKJCj`LJ}5N1ux2h
zE4a_4o*;crG-dS+TB>!4{W9C@X!G&|1>m@A%->n&zl}Tcn+UFQ{96tnhL$q_b2a>~
z4uXtoP@^DI!(jFj)F*WHP@}<Y3~Kv_my)lxzj%zL0!uYkwpf|5L|}==e2e*vO$9d9
z*s{fz8Jh@fqOq#Qs*D{9>`-HC7F%O%Uts$ht68kZ*q*@lG^Q-37~4g=i~W0#-D;&5
zO}APo?w~kEJO27vw|f+L)Miv>XcNT!^rpe79Vv<#o=HOIg?^?=2n~bsiSP_}>}!ai
zS0VAF8#i7wdiVWX^>Y{wP>CC_W2n@lID$&Q)sK5|w2rH-j<M|b8XJ*8b<{s6s%-&&
z9p!-~{imJYDdpUhs~Ri7CjX~4>Kf}GgnmQor*GT^)V-X%m$a^f@~8Ddd!v4Da}Zae
zeg`^Hy9=*+?QYzJa23K82*Z_X*u=J(aC>j5toeIu?<rNbgwO9IGai{RUD-VUjCIL3
o9sHJqf9K$L9Q;QIf8gN1IryIrzR2e#`*WFf`Mq}>`~wI72OLZq(f|Me

diff --git a/build/out.out b/build/out.out
index 5822262a034d904d2e634c8105b7ad0936b0bb1f..fc791b0c6f710818388e95b04e01eeba6aa1707c 100755
GIT binary patch
delta 686
zcmZo@W_;1aI6;FkW1{ALu9J)mU~rOgvk+q#lZbIminXw;WFoWU{^ZXS?sRyoKj+w7
z!@P&L9;DEt+x3S>r|Sog<~IT_gg^q#M+7{MyMFi&k^FG-aHvP;Q=l>dpt2tx`*|E3
zfHEMBr9U<RRlnhQvF6|Z|3GaVP(?3*+8;p8e&NCF`T%TxH_(nw*Bd|$8ZTD;2WenE
zq5(8#kudKjRu{%i3I=>kdjvNd=?SrL?h$kVS;25*a-os*<P0Mf&Ye(^ogfiZ-sCGr
zD%?k)@+SoyCU0bt-K=0Nz^EAy6$G0FB({SY5)3dez{C$uRx}o8JT<w~L|^g-P>_*9
zl!3#}0VWNmA5Ok#A};v_EGy3N!X8zYYciv$xTGi0(+Ug{3>?rPf*GJb*$^nJ2b2|J
z;%9()4kl{?*6R+G6~Ll5Wb#Cy-ejPxAd>(ChXSg-1(Oc~WkC@sz#z$>fM##Y<c~mE
zUy!{Fd<+f(5WQ+pi|0&MG!vIx0oKdMV1O1@YbOVqi8Jn;oN0DuvxRvF)8@UF$;?cZ
zjFXjY^|)YO0LE98Z5uOh0yD%+IUpr6`K^OCXNDO>WdCGEM{`bf3kc5|$dd;E%uAI1

delta 984
zcmZXTPiPZC6vk(E8)%~&w^_?3in0~KRH4Q+f9j#KDFg-;(S!C<L=mKTYAJ#TA)yOO
z+KXi_-l}*B^%7mtA_1cYtWco^i$$T$L2(X6;>ldJzMYvZb=||vy!U?JH~SvDYzmhg
zd@q4Zvwa(3O-20CR5yw*DSJQnEKN*5n{+;nUvB-Fe?GE$ZDZZNt=6=n2a=gWo0JQ!
z8;HExZQEQ)W^T5sh&Y=%TlurKMVy8%F&4lW$6{<=U@?g`16Y$|7IOq<39MLH3vg?k
zOR!PFC8XVQ09)o*l4S&zl-ObbTjbaviwJB`Vs#%Ydd)(wb<WxB`)}T>Ex84slh^{s
z2&)T>NUQ>T1txeO<~7Emo~6?mgX9B9R$;Hce|wRXzrjiO1`T@)_9k)8Y+CG);Jt}3
z$hOJ5LKE}Xg0l)#xe)tD-`?Tl5uO(ik80i8Q!5!!km08Kqa9&n*kFTDr$Nu9PHl(C
z3-<*=`Z0BQSEm$chE1O+2V84F$9;2A;liz8dBG16v>wR6r1`Xo8?<-8#2@HH`Z)eV
zAEwRtSI&1M-Lm<~Uw+Y*v>DQ%(<oeK;IkBG%*;`UbreH!`5pT736E3uAipO+pWD`-
zrdKm&Xar)5`(3BA88bc!G29JFn@c*RaEiW$>Rs*{LF2lphGg|T{R!1MsOl*G-@81f
zy;(C}^_-O$7z?eGq8h!BUBW4Me{NcFD<`k0N?oDhq5d5McZY}WsM;<0lO6<R4_&p7
Tb(ONh<PGi0=kPGi=a2jaTwWfI

diff --git a/main.why b/main.why
index e43546e..dd34695 100644
--- a/main.why
+++ b/main.why
@@ -1,21 +1,9 @@
-fn test_two(a: int) -> int {
-    return a + a;
-}
-
-fn test(a: int) -> int {
-    return test_two(a) + 1;
+fn r(a: int) {
+    printi(a);
+    r(a + 1);
 }
 
 fn main() -> int {
-    let x: int = 3;
-    printi(x);
-    printi(x);
-    printi(x);
-    printi(x);
-    printi(x);
-    printi(x);
-    printi(x);
-    printi(x);
-    return test(x);
+    r(1);
+    return 255;
 }
-