Ticket #252 (closed defect: invalid)
collector language's test/exn doesn't work
Reported by: | robby | Owned by: | plai |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | plai/plai.plt | Keywords: | |
Cc: | Version: | (1 15) | |
Racket Version: | 4.2.4.2 |
Description
The program below should show a passed test, but it shows a failed one.
#lang planet plai/plai:1:14/collector
(test/exn (car 1) "car")
;; init-allocator : -> void
(define (init-allocator) (void))
;; gc:deref : loc -> heap-value
(define (gc:deref loc) #t)
;; gc:alloc-flat : heap-value -> loc
(define (gc:alloc-flat fv) 0)
;; gc:cons : loc loc -> loc
(define (gc:cons hd tl) 0)
;; gc:first : loc -> loc
(define (gc:first pr-ptr) 0)
;; gc:rest : loc -> loc
(define (gc:rest pr-ptr) 0)
;; gc:flat? : loc -> boolean
(define (gc:flat? loc) #t)
;; gc:cons? : loc -> boolean
(define (gc:cons? loc) #f)
;; gc:set-first! : loc loc -> void
(define (gc:set-first! pr-ptr new)
(error 'set-first! "unsupported"))
;; gc:set-rest! : loc loc -> void
(define (gc:set-rest! pr-ptr new)
(error 'set-rest! "unsuppored"))