Re: switch statement generation

Michael Spertus <mps@dent.uchicago.edu> wrote:
>I would like to see the keyword nodefault: added to switch statements.


Common Lisp has both CASE and ECASE. CASE is similar to C's switch
statement. ECASE is like CASE except that no explicit ``default:'' clause
is permitted, and if no clause is matched an error is signalled.


Henry Spencer <henry@zoo.toronto.edu> wrote:
>These are actually two separate notions, and arguably should not be
>bundled into the same construct. I dimly recall at least one language
>that had an "assert" statement (meaning "I think this is true here, let me
>know if you discover it's not") and an "assume" statement (meaning "this
>is true here, for sure, whether it looks that way or not, and you may rely
>on it for optimization or assertion checking").


Common Lisp has both of these notions. The ASSERT macro gives you the
moral equivalent of C's assert macro as found in <assert.h>. Common Lisp
declarations on the other hand usually tell the compiler to assume certain
things -- often things it cannot otherwise figure out.


-- Chris.
(ch@lks.csi.com)
--

Return to the comp.compilers page.
Search the comp.compilers archives again.