On 2014-01-27 08:40:38 -0800, Eric Dobson wrote:
> This is likely a bug, but I cannot reproduce using the following
> program. Do you have a small test case?
I talked to Spencer and we found this example that produces the same
output:
(module a typed/racket
(: g ((U (Parameterof (-> Void)) (-> Void)) -> Void))
(define (g p) p (void))
(provide g))
(require 'a)
(g (make-parameter void))
It seems to be specific to having a `Parameterof` containing a
function type unioned with a function type.
Cheers,
Asumu
____________________
Racket Users list:
http://lists.racket-lang.org/users
