7:36:15MichaelRaskinbeach: I understood that I missed one case where optimiser _might_ be interested in type inference backwards (if there is no error, this input value to a function must have a specific type). But surely not a priority optimisation.
7:37:17beachI can see how it would be good for optimization, but I don't see how you can make it conform to the semantics of Common Lisp.
7:37:17MichaelRaskinIf I feed some variable foo to functions bar and then baz, it would be nice to have a call to baz pre-optimised for the case bar did not signal a type-error, with some inefficient fallback for USE-VALUE restart.