<div dir="ltr"><br><div>Question about a TR regression in 5.3.2<br><br>This worked in 5.3.1:<br><br>typed.rkt<br>=======<br>#lang typed/racket<br><br>(provide wrap)<br><br>(define: (wrap (p : Procedure)) : Procedure<br>  (λ (_) p))<br>

<br><br></div>untyped.rkt<br><div>===========<br>#lang racket<br><br>(require &quot;typed.rkt&quot;)<br>(define f (λ (n) n))<br><br>((wrap f) 5) ;; returns f itself; f is eq? to ((wrap f) 5)<br><br><br></div><div>In 5.3.2, when running untyped.rkt, I get:<br>

<br>#&lt;case-lambda-procedure&gt;: arity mismatch;<br> the expected number of arguments does not match the given number<br>  given: 1<br>  arguments...:<br>   5<br><br></div><div>It doesn&#39;t tell me how many arguments it actually expects... but if I just apply<br>

<br>((wrap f))<br><br></div>It says:<br><br>~/scratch/typed.rkt:6:2: arity mismatch;<br> the expected number of arguments does not match the given number<br>  expected: 1<br>  given: 0</div>