<div dir="ltr">Thanks!<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jan 27, 2014 at 3:43 PM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@cs.indiana.edu" target="_blank">samth@cs.indiana.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Mon, Jan 27, 2014 at 4:35 PM, Asumu Takikawa <<a href="mailto:asumu@ccs.neu.edu">asumu@ccs.neu.edu</a>> wrote:<br>

> On 2014-01-27 08:40:38 -0800, Eric Dobson wrote:<br>
>> This is likely a bug, but I cannot reproduce using the following<br>
>> program. Do you have a small test case?<br>
><br>
> I talked to Spencer and we found this example that produces the same<br>
> output:<br>
><br>
>   (module a typed/racket<br>
>     (: g ((U (Parameterof (-> Void)) (-> Void)) -> Void))<br>
>     (define (g p) p (void))<br>
>     (provide g))<br>
>   (require 'a)<br>
>   (g (make-parameter void))<br>
><br>
> It seems to be specific to having a `Parameterof` containing a<br>
> function type unioned with a function type.<br>
<br>
</div>Here's the bug without TR:<br>
<br>
#lang racket<br>
(module b racket<br>
<div class="im">  (define (g p) p (void))<br>
</div>  (provide/contract [g<br>
                     (-> (or/c (parameter/c (-> void?))<br>
                               (-> void?))<br>
                         void?)]))<br>
(require 'b)<br>
(g (make-parameter void))<br>
<br>
Gives the error:<br>
<br>
sw/plt/racket/collects/racket/contract/private/blame.rkt:245:0:<br>
<div class="im HOEnZb">default-blame-format: contract violation<br>
  expected: a blame object with a non-#f positive field<br>
  given: #<blame><br>
<br>
</div><span class="HOEnZb"><font color="#888888">Sam<br>
</font></span><div class="HOEnZb"><div class="h5">____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>