typed-racket

Typed Racket

Go to file

Vincent St-Amour a8ee106320 Take the meet of constraints earlier in the inference process. This avoids constraint explosions in some cases, notably when working with polydots and plain variable arity functions at the same time. However, this also weakens inference a bit (breaks it for unholy-terror and related tests), but not in a way that affects any practical use cases that I know of. original commit: 80a9027f1eee6ea56a29aa73c65675f6cf86cdb2	2011-03-18 10:25:19 -04:00
collects	Take the meet of constraints earlier in the inference process.	2011-03-18 10:25:19 -04:00

Vincent St-Amour a8ee106320 Take the meet of constraints earlier in the inference process.

This avoids constraint explosions in some cases, notably when working
with polydots and plain variable arity functions at the same time.

However, this also weakens inference a bit (breaks it for
unholy-terror and related tests), but not in a way that affects any
practical use cases that I know of.

original commit: 80a9027f1eee6ea56a29aa73c65675f6cf86cdb2

2011-03-18 10:25:19 -04:00

collects

Take the meet of constraints earlier in the inference process.

2011-03-18 10:25:19 -04:00