search

logiccomp / lsl

4 stars 2 forks source link

Special list contract don't seem to be generating correctly #8

Closed dbp closed 10 months ago

dbp commented 10 months ago

Here's a minimal example:

(: f (-> (List Integer) True))
(define (f lon) #t)
(check-contract f)

This fails due to:

f: contract violation
  expected: (List Integer)
  given: '(#<procedure> ...

It seems like the List contract isn't generating its elements correctly.