File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -459,6 +459,7 @@ int any_tag(int64_t any) {
459
459
return any & ANY_TAG_MASK ;
460
460
}
461
461
462
+ /* to do: need to cycle detection. -Jeremy */
462
463
void print_any (int64_t any ) {
463
464
switch (any_tag (any )) {
464
465
case ANY_TAG_INT :
Original file line number Diff line number Diff line change 1
-
2
1
(define (world) : Any (inject 42 Integer))
3
2
4
3
; Allocate a vector of 1 any, initialized with an injected 0, and then inject it
11
10
(let ((a (project x (Vector Any))))
12
11
(project (vector-ref a 0 ) Integer))))
13
12
14
-
15
13
;; ;; Works
16
14
17
15
; Allocate a vector of 1 any, initialized with an injected 0, and then inject it
45
43
;; (let ([y (vector-set! (project x (Vector Any)) 0 (inject (world) Integer))])
46
44
;; (let ((a (project x (Vector Any))))
47
45
;; (project (vector-ref a 0) Integer))))
46
+
You can’t perform that action at this time.
0 commit comments