Ticket #1114 (new defect)

Opened 11 years ago

Bad typecheck in map, foldl, foldr

Reported by: anonymous Owned by: krhari
Priority: major Milestone:
Component: krhari/pfds.plt Keywords:
Cc: Version: (1 5)
Racket Version: 5.3.4

Description

(require (planet krhari/pfds:1:5/catenablelist))

(map (λ (+ x 0)) (list 1 3 4))

. Type Checker: The type of list-map cannot be converted to a contract in: (map (λ (+ x 0)) (list 1 3 4))

(foldl + (list 1 3 4))

. Type Checker: The type of list-foldl cannot be converted to a contract in: (foldl + (list 1 3 4))

(foldr + (list 1 3 4))

. Type Checker: The type of list-foldr cannot be converted to a contract in: (foldr + (list 1 3 4))

Note: See TracTickets for help on using tickets.