From 9518062d31428ccd6f4ab96f2cfbc86f421ba4a5 Mon Sep 17 00:00:00 2001
From: Robert Lucas <100799838+Robert-M-Lucas@users.noreply.github.com>
Date: Fri, 21 Jun 2024 01:21:44 +0100
Subject: [PATCH] Improvements

---
 .idea/workspace.xml |  68 +++++++++++++++++++++++++-------------------
 build/out.asm       |  10 +------
 build/out.o         | Bin 624 -> 592 bytes
 main.why            |   2 +-
 todo.md             |   8 ++++--
 5 files changed, 45 insertions(+), 43 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index b4c912f..4444a28 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -32,12 +32,12 @@
   <component name="GitToolBoxStore">
     <option name="projectConfigVersion" value="5" />
   </component>
-  <component name="GithubPullRequestsUISettings"><![CDATA[{
-  "selectedUrlAndAccountId": {
-    "url": "https://github.com/Robert-M-Lucas/whython-8",
-    "accountId": "dcb8df19-0b39-47e1-9073-4a54f7034be8"
+  <component name="GithubPullRequestsUISettings">{
+  &quot;selectedUrlAndAccountId&quot;: {
+    &quot;url&quot;: &quot;https://github.com/Robert-M-Lucas/whython-8&quot;,
+    &quot;accountId&quot;: &quot;dcb8df19-0b39-47e1-9073-4a54f7034be8&quot;
   }
-}]]></component>
+}</component>
   <component name="MacroExpansionManager">
     <option name="directoryName" value="u41t3cql" />
   </component>
@@ -53,33 +53,33 @@
     <option name="hideEmptyMiddlePackages" value="true" />
     <option name="showLibraryContents" value="true" />
   </component>
-  <component name="PropertiesComponent"><![CDATA[{
-  "keyToString": {
-    "Cargo.Run whython-8.executor": "Run",
-    "RunOnceActivity.OpenProjectViewOnStart": "true",
-    "RunOnceActivity.ShowReadmeOnStart": "true",
-    "RunOnceActivity.rust.reset.selective.auto.import": "true",
-    "Shell Script.Test Asm.executor": "Run",
-    "git-widget-placeholder": "master",
-    "ignore.virus.scanning.warn.message": "true",
-    "last_opened_file_path": "C:/Users/rober/Documents",
-    "node.js.detected.package.eslint": "true",
-    "node.js.detected.package.tslint": "true",
-    "node.js.selected.package.eslint": "(autodetect)",
-    "node.js.selected.package.tslint": "(autodetect)",
-    "nodejs_package_manager_path": "npm",
-    "org.rust.cargo.project.model.PROJECT_DISCOVERY": "true",
-    "org.rust.cargo.project.model.impl.CargoExternalSystemProjectAware.subscribe.first.balloon": "",
-    "org.rust.first.attach.projects": "true",
-    "settings.editor.selected.configurable": "preferences.keymap",
-    "vue.rearranger.settings.migration": "true"
+  <component name="PropertiesComponent">{
+  &quot;keyToString&quot;: {
+    &quot;Cargo.Run whython-8.executor&quot;: &quot;Run&quot;,
+    &quot;RunOnceActivity.OpenProjectViewOnStart&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.rust.reset.selective.auto.import&quot;: &quot;true&quot;,
+    &quot;Shell Script.Test Asm.executor&quot;: &quot;Run&quot;,
+    &quot;git-widget-placeholder&quot;: &quot;master&quot;,
+    &quot;ignore.virus.scanning.warn.message&quot;: &quot;true&quot;,
+    &quot;last_opened_file_path&quot;: &quot;C:/Users/rober/Documents&quot;,
+    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,
+    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,
+    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,
+    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,
+    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,
+    &quot;org.rust.cargo.project.model.PROJECT_DISCOVERY&quot;: &quot;true&quot;,
+    &quot;org.rust.cargo.project.model.impl.CargoExternalSystemProjectAware.subscribe.first.balloon&quot;: &quot;&quot;,
+    &quot;org.rust.first.attach.projects&quot;: &quot;true&quot;,
+    &quot;settings.editor.selected.configurable&quot;: &quot;preferences.keymap&quot;,
+    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
   },
-  "keyToStringList": {
-    "com.intellij.ide.scratch.ScratchImplUtil$2/New Scratch File": [
-      "Rust"
+  &quot;keyToStringList&quot;: {
+    &quot;com.intellij.ide.scratch.ScratchImplUtil$2/New Scratch File&quot;: [
+      &quot;Rust&quot;
     ]
   }
-}]]></component>
+}</component>
   <component name="RecentsManager">
     <key name="CopyFile.RECENT_KEYS">
       <recent name="$PROJECT_DIR$/src/root/builtin/types/int" />
@@ -512,7 +512,15 @@
       <option name="project" value="LOCAL" />
       <updated>1718928037028</updated>
     </task>
-    <option name="localTasksCounter" value="39" />
+    <task id="LOCAL-00039" summary="Improvements">
+      <option name="closed" value="true" />
+      <created>1718928163157</created>
+      <option name="number" value="00039" />
+      <option name="presentableId" value="LOCAL-00039" />
+      <option name="project" value="LOCAL" />
+      <updated>1718928163157</updated>
+    </task>
+    <option name="localTasksCounter" value="40" />
     <servers />
   </component>
   <component name="TypeScriptGeneratedFilesManager">
diff --git a/build/out.asm b/build/out.asm
index 4f737c5..5827667 100644
--- a/build/out.asm
+++ b/build/out.asm
@@ -5,16 +5,8 @@ section .text
 main:
     push rbp
     mov rbp, rsp
-    mov qword [rbp-16], 12
-    mov rax, rbp
-    add rax, -16
-    mov qword [rbp-8], rax
-    mov qword [rbp-24], 1
+    mov qword [rbp-8], 1
     mov rax, qword [rbp-8]
-    mov rdx, qword [rbp-24]
-    add qword [rax], rdx
-    mov qword [rbp-32], 1
-    mov rax, qword [rbp-32]
     leave
     ret
 
diff --git a/build/out.o b/build/out.o
index 3d25885dced5e36da691b803ae6172768f18dde5..3b268fb955d76c7e862d4eef5ad0ecc349cc2f2b 100644
GIT binary patch
delta 50
zcmeysa)D*S0!E>U3(Xl9OuT8&cww?6qdlX+<VZ$6!5@qa3=AIKu0Kv51~PzP@(#uw
E0Ks|?asU7T

delta 82
zcmcb>@_}W-0!E983(Xl1OuT8&_+hdnqdjB5<VZ$6!w)<R3=AHfFFcwLeDLUW{o!%k
e^#vnHs2j-c4t?RlC;$|C02O+0^6=ytj5`1vO&|~e

diff --git a/main.why b/main.why
index 2f10c50..ed51eab 100644
--- a/main.why
+++ b/main.why
@@ -1,3 +1,3 @@
 fn main() -> int {
-
+    return 1;
 }
diff --git a/todo.md b/todo.md
index b459b55..bae8549 100644
--- a/todo.md
+++ b/todo.md
@@ -1,8 +1,10 @@
 
+- Add dereferencing
 - Add array support
 - Add struct initialiser support
 - Add support for non-toplevel function calling
-- Add support for non-inline builtin functions
 - Add rich parser errors
-- Add all errors in
-- All other todos, of course
\ No newline at end of file
+- Add support for multiple files
+- Add support for heap stuff
+- All other todos, of course
+