From: Philip W. L. Fong
Subject: How to get the compiler perform type checking?
Date: Tue, 21 Apr 1992 18:57:17 +0000
Message-ID: <1992Apr21.185717.9888@watdragon.waterloo.edu>

I am trying to get my Allegro CL compiler to perform type checking for
me.  I tried to use PROCLAIM to set a higher SAFETY setting, but the 
compiler simply ignores the setting and skips all the type checking.
Does anyone know how I can fix this?

Philip

From: Barry Margolin
Subject: Re: How to get the compiler perform type checking?
Date: Wed, 22 Apr 1992 05:46:12 +0000
Message-ID: <kv9vd4INN5ov@early-bird.think.com>

In article <·····················@watdragon.waterloo.edu> ······@logos.waterloo.edu (Philip W. L. Fong) writes:
>I am trying to get my Allegro CL compiler to perform type checking for
>me.  I tried to use PROCLAIM to set a higher SAFETY setting, but the 
>compiler simply ignores the setting and skips all the type checking.
>Does anyone know how I can fix this?

Do you mean you want the compiler to generate type errors at compile time,
or to include type checking in the generated code?  The SAFETY setting
covers the latter, and results in type errors at run time.  There is no
standard way to request the former, and most Lisp compilers don't try to do
very much of this checking.  The CMU CL compiler is the most notable
exception; it performs lots of type inference, and in the process detects
type mismatches.

-- 
Barry Margolin
System Manager, Thinking Machines Corp.

······@think.com          {uunet,harvard}!think!barmar