We should be using something like "function abstraction" rather than "lambda" in diagnostics, in order to be consistent with our policy that eliminates "pi" and "sigma" and to be consistent with the syntax which doesn't have a keyword for "lambda". Currently at least one diagnostic in the driver is producing "lambda".
We should be using something like "function abstraction" rather than "lambda" in diagnostics, in order to be consistent with our policy that eliminates "pi" and "sigma" and to be consistent with the syntax which doesn't have a keyword for "lambda". Currently at least one diagnostic in the driver is producing "lambda".