Opened 11 years ago

Closed 11 years ago

#952 closed defect (fixed)

scrutiny for list-of type wrong when matched with pair types

Reported by: sjamaan Owned by: felix winkelmann
Priority: minor Milestone: someday
Component: scrutinizer Version: 4.8.x
Keywords: Cc:
Estimated difficulty:

Description

See the program in #948; this particular case was fixed, but changing list to cons will cause breakage:

(: apply1 (forall ((a number) b) (procedure ((procedure (#!rest a) b) (list-of a)) b)))

(define (apply1 f args)
  (apply f args))

(apply1 + (cons 'a (cons 2 '())))  ;;; Should give a warning, but doesn't

Change History (1)

comment:1 Changed 11 years ago by sjamaan

Resolution: fixed
Status: newclosed

Fixed with dd46f23

Note: See TracTickets for help on using tickets.