Browse files

Corrected type variable frobbery in by-super.

  • Loading branch information...
1 parent 77b43ed commit 1230260a31eb3460eab23410b4f68034aa1fb0ef @Ralith Ralith committed Apr 15, 2012
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/types.lisp
@@ -248,8 +248,8 @@
(simple-error nil)))
(defun by-super (pred)
- (let ((subst (mapcar #'cons (vars (interface pred)) (args pred))))
- (cons pred (mapcan #'by-super (subst-apply subst (supers (interface pred)))))))
+ (cons pred (mapcan (compose #'by-super (curry #'instantiate (args pred)))
+ (supers (interface pred)))))
(defun by-impl (pred)
(some (lambda (qual)

0 comments on commit 1230260

Please sign in to comment.