On 9.2.0.5, the following program:
#lang racket/base
(require racket/contract)
(define/contract tag
(prompt-tag/c any/c)
(make-continuation-prompt-tag))
(define k #f)
(call-with-continuation-prompt
(lambda () (call/cc (lambda (c) (set! k c) 0) tag))
tag)
(call-with-continuation-prompt
(lambda () (k 5))
tag)
produces this error (note that it references the call/cc result guard, which isn't present in the actual prompt-tag/c use):
result arity mismatch;
expected number of values not received
expected: 1
received: 1
at: use of `call/cc` result guard
arguments...:
'()
On 9.2.0.5, the following program:
produces this error (note that it references the
call/ccresult guard, which isn't present in the actualprompt-tag/cuse):