[racket] [Typed Racket] "define-predicate" in Racket 5.3.4

[Paul Leger]

Hi all,
    In the Racket 5.3.4, I defined the following predicate
   >(define-predicate A? Procedure)

   and later, I tried using as follow:
   >(A? 'a)

  But I have the following error:
  >recursive-contract: contract violation
  >expected: flat-contract?
  >given: #<|chaperone-case->|>

BTW, in this version, Is it possible to define predicate with a specific
function?
(define-type A (Boolean -> Boolean))
(define-predicate A? A)

Best,
Paul

____________________
  Racket Users list:
  http://lists.racket-lang.org/users