id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 761 "type-var unification for complex ""pair"" types not always right" felix winkelmann felix winkelmann "Consider: {{{ (print (assq 'foo (the (pair (pair symbol fixnum) (pair (pair char fixnum) list)) x))) }}} Matching `(list-of (pair a b))` with the argument will unify a and b and then fail on the cdr of the pair type. This needs to be done analogous to a union type instead, so that multiple instantiations of the type variables are handled. " defect closed major 4.9.0 compiler 4.7.x fixed scrutinizer