On 2014-02-14 21:29:00 -0500, Asumu Takikawa wrote: > I'm guessing the problem is that the expected type from the annotation > of ph is not propagated correctly while the type inference system tries > to infer the concrete type for `make-parameter`. It looks like > something we could fix, but it might not be an obvious fix.
Actually, this is probably an instance of a limitation of TR for polymorphic functions. TR doesn't currently handle type inference for function arguments that are themselves polymorphic, which I think includes your case. So a near-term fix may be unlikely. The guide entry on the limitation: http://docs.racket-lang.org/ts-guide/caveats.html#%28part._.Type_inference_for_polymorphic_functions%29 Cheers, Asumu ____________________ Racket Users list: http://lists.racket-lang.org/users
