((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPackagesCommunityLearning

[racket] Puzzled about type inference

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Thu Oct 2 11:12:26 EDT 2014		 
At Thu, 02 Oct 2014 09:23:19 -0400,
Neil Toronto wrote:
> With `case->` types, as you say, it can get tricky to find out which
> combination of argument types produces which type for any given `e` in
> the function body. It might work out to just keep the types in order and
> number them.

Would `:query-type/result` help?

Vincent
Posted on the users mailing list.