Posted by V. Ramakrishna on February 18, 2004 at 02:58:17:
In Reply to: pub5.scm posted by N V Krishna on February 17, 2004 at 23:02:22:
Krishna,
I am sorry, but you are being contradictory. In one of your earlier postings, you said that for a set! expression, we needed to assign the type of the expression to the variable. But your statement below implies that we need to unify the types of the two (that is the only way pub5.scm will not type check).
: The result given in pub5.scm is incorrect. The correct answer is
: "Program does not type check."
: (Unifying Tc -> int and int leads to error. )
Can you please clarify this before we turn in our assignments?
Thank you,
Rama
: Thanks to Jonathan Lee for pointing that out.
: Warm regards,
: Krishna.