pub5.scm

[ Follow Ups ] [ Post Followup ] [ Discussion Board ] [ FAQ ]

Posted by N V Krishna on February 17, 2004 at 23:02:22:

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. )

Thanks to Jonathan Lee for pointing that out.

Warm regards,
Krishna.

Follow Ups:


Post a Followup

Name:
E-Mail:

Subject:

Comments:

Optional Link URL:
Link Title:
Optional Image URL:

[ Follow Ups ] [ Post Followup ] [ Discussion Board ] [ FAQ ]