<div dir="ltr">Hi all,<div>    In the Racket 5.3.4, I defined the following predicate</div><div>   &gt;(define-predicate A? Procedure)<br></div><div style>   </div><div style>   and later, I tried using as follow:</div><div style>

   &gt;(A? &#39;a)</div><div style><br></div><div style>  But I have the following error:</div><div style>  &gt;recursive-contract: contract violation</div><div>  &gt;expected: flat-contract?</div><div>  &gt;given: #&lt;|chaperone-case-&gt;|&gt;</div>

<div><br></div><div>BTW, in this version, Is it possible to define predicate with a specific function?</div><div style>(define-type A (Boolean -&gt; Boolean))</div><div>(define-predicate A? A)<br clear="all"><div><br></div>

</div><div style>Best,</div><div style>Paul</div></div>