Ticket #296 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

map not usable in untyped contexts

Reported by: David Van Horn <dvanhorn@…> Owned by: krhari
Priority: major Milestone:
Component: krhari/pfds.plt Keywords:
Cc: krhari, dvanhorn Version: (1 4)
Racket Version: 5.0.1.3

Description

Welcome to Racket v5.0.1.3.
> (require (prefix-in tr: (planet krhari/pfds:1:3/skewbinaryrandomaccesslist)))
> (tr:map add1 (tr:build-list 5 (λ (i) i)))
readline-input::78: Type Checker: The type of list-map cannot be converted to a contract in: (tr:map add1 (tr:build-list 5 (λ (i) i)))

Change History

Changed 4 years ago by krhari

  • status changed from new to closed
  • resolution set to fixed

Changed 4 years ago by krhari

  • cc krhari added
  • planetversion changed from (1 3) to (1 4)

Changed 4 years ago by dvanhorn

  • status changed from closed to reopened
  • resolution fixed deleted

I still get this error in version 1.4.

Changed 4 years ago by dvanhorn

  • cc dvanhorn added

Changed 4 years ago by krhari

  • status changed from reopened to closed
  • resolution set to fixed

Fixed now.... But works on 3 lists or less

Note: See TracTickets for help on using tickets.