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