From 6b133a720e379c5a891faf5e969361be85bdfcd5 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 19 Aug 2014 12:16:47 -0700 Subject: 55 --- new.arc | 5 ----- new.arc.t | 5 +++++ 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/new.arc b/new.arc index 54b1ac2f..88a41263 100644 --- a/new.arc +++ b/new.arc @@ -12,8 +12,3 @@ ((3 integer) <- literal 1) ((Root_allocator_pointer integer) <- add (Root_allocator_pointer integer) (3 integer)) (reply (2 integer-address))) -; tests to express: -; every call increments the pointer -; 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 diff --git a/new.arc.t b/new.arc.t index c10444de..5266ea2d 100644 --- a/new.arc.t +++ b/new.arc.t @@ -19,3 +19,8 @@ (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 -- cgit 1.4.1-2-gfad0