id summary reporter owner description type status priority milestone component resolution keywords cc planetversion pltversion 299 Cannot typecheck (equal? (list) (list)) dvanhorn krhari "With regular lists, `(equal? (list) (list))` can be type checked, but not with random-access lists. {{{ Welcome to DrRacket, version 5.0.1.3--2010-08-25(-/f) [3m]. Language: typed/racket; memory limit: 512 MB. > (equal? (list) (list)) - : Boolean #t > (require (planet krhari/pfds:1:4/skewbinaryrandomaccesslist)) > (equal? (list) (list)) . Type Checker: Could not infer types for applying polymorphic function list in: (list) . Type Checker: Could not infer types for applying polymorphic function list in: (list) . Type Checker: Could not infer types for applying polymorphic function list in: (list) . Type Checker: Could not infer types for applying polymorphic function list in: (list) . Type Checker: Summary: 4 errors encountered in: (list) (list) (list) (list) }}} " defect new major krhari/pfds.plt dvanhorn (1 4) 5.0.1.3