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))
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?
Kevin