5852

1 files changed, 0 insertions, 27 deletions

diff --git a/archive/3.transect/compiler2 b/archive/3.transect/compiler2
deleted file mode 100644
index 5c06cc4f..00000000
--- a/archive/3.transect/compiler2
+++ /dev/null
@@ -1,27 +0,0 @@
-to dereference a heap allocation
-  copy handle to stack
-  perform lookup to stack
-
-lookup x in *(ESP+4) of type (handle T)
-
-  reg <- copy *(ESP+5) : (address T stack)
-  payload alloc id <- copy *reg
-  address alloc id <- copy *(ESP+4)
-  compare payload alloc id, address alloc id
-  jump if not equal to print stack trace and panic
-  address <- add reg, 1
-
-types:
-
-  address T reg
-  address T stack
-  address T heap
-  address T global
-
-copy down this spectrum is not permitted, but up is.
-
-addresses aren't allowed in types, globals and on the heap. Only handles.
-addresses are only for temporary manipulations.
-
-
-*(address T) <- copy T