Posted by N V Krishna on February 17, 2004 at 18:20:12:
In Reply to: 2 easy questions posted by Kevin Chang on February 17, 2004 at 17:33:38:
: Does the following type check?
: (if #t
: (lambda (a b) a)
: (lambda (x y) y))
Yes.
: The second question is, according to the unification algorithm, you choose either case 4 or 5. But can't you choose both case 4 and 5?
And what would the use be?
Krishna.
: Kevin