blob: 3a5d0acf1525f53a08124488f424a833329d456b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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
|