guile-devel
[Top][All Lists]
Advanced

[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 





reply via email to

[Prev in Thread] Current Thread [Next in Thread]