<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>