Posted by N V Krishna on February 15, 2004 at 03:04:24:
In Reply to: Re: P3 Questions posted by Steve VanDeBogart on February 14, 2004 at 12:35:26:
: : : 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?
IfExpression requires that the 'Then' expression and 'Else' expresion need
to have same type.
Krishna.