73

1 files changed, 23 insertions, 0 deletions

diff --git a/sys.arc.t b/sys.arc.t
new file mode 100644
index 00000000..3a5d0acf
--- /dev/null
+++ b/sys.arc.t
@@ -0,0 +1,23 @@
+(load "new.arc")
+
+(reset)
+;? (prn memory*)
+(if (~iso memory*.Root_custodian Allocator_start)
+  (prn "F - allocator initialized"))
+
+(reset)
+(add-fns
+  '((main
+      ((x integer-address) <- new)
+      ((x integer-address deref) <- literal 34))))
+(run function*!main)
+;? (prn memory*)
+(if (~iso memory*.Root_custodian (+ Allocator_start 1))
+  (prn "F - 'new' increments allocator pointer"))
+(if (~iso memory*.Allocator_start 34)
+  (prn "F - 'new' returns old location"))
+
+; other tests to express:
+;  no other function can increment the pointer
+;  no later clause can increment the pointer after this base clause
+;  multiple threads/routines can't call the allocator at once