Posted by Steve VanDeBogart on February 14, 2004 at 12:35:26:
In Reply to: Re: P3 Questions posted by N V Krishna on February 13, 2004 at 23:01:19:
: : What is the type of (if x #t 5) ?
: Program does not type check.
For the sake of the project, that's fine and makes things easier. But I would claim that this program is well typed. There's nothing type related that will make the program 'go wrong.' Is it just because that if this was part of a larger expression, there's not a way for enclosing expression to by well typed?
--
Steve