[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: typechecking
From: |
Han-Wen Nienhuys |
Subject: |
Re: typechecking |
Date: |
Sun, 16 May 2004 17:11:22 +0200 |
address@hidden writes:
> Han-Wen Nienhuys wrote:
>
> > address@hidden writes:
> >
> > > When I say "type checking" what really mean is that the compiler
> > > checks whether the user only uses SCM values in the way we want it
> > > to, like, no direct arithmetic, no direct use in conditional tests,
> > > only
> >
> > What's the rationale for not allowing direct use in conditional
> > tests?
>
> Code like the following:
>
that doesn't really answer my question. It seems to me that
if (obj == gh_symbol2scm("bla"))
...
is safe. Do I understand correctly that disallowing this is a side
effect of trying to disallow
if (obj)
...
--
Han-Wen Nienhuys | address@hidden | http://www.xs4all.nl/~hanwen
- Re: typechecking, Marius Vollmer, 2004/05/10
- Re: typechecking, Dale P. Smith, 2004/05/10
- Re: typechecking, Han-Wen Nienhuys, 2004/05/10
- Re: typechecking, Dirk Herrmann, 2004/05/15
- Re: typechecking,
Han-Wen Nienhuys <=
- Re: typechecking, Marius Vollmer, 2004/05/17
- Re: typechecking, Han-Wen Nienhuys, 2004/05/26
- Re: typechecking, Dirk Herrmann, 2004/05/30
- Re: typechecking, Han-Wen Nienhuys, 2004/05/30
- Re: typechecking, Dirk Herrmann, 2004/05/31
- Re: typechecking, Andy Wingo, 2004/05/30