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.
7:38:02beachOh, sure. But I don't consider that "backwards".
7:38:33MichaelRaskinWell, is pass foo to bar and foo to baz
7:38:47MichaelRaskinSo this is a restriction on input type and not on the output type