Ticket #299 (new defect)

Opened 4 years ago

Cannot typecheck (equal? (list) (list))

Reported by: dvanhorn Owned by: krhari
Priority: major Milestone:
Component: krhari/pfds.plt Keywords:
Cc: dvanhorn Version: (1 4)
Racket Version: 5.0.1.3

Description

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)
Note: See TracTickets for help on using tickets.