Hello,
while I was reading the file I decided to refactor the tests a bit.
The macro checkp wasn't quite doing what it was supposed to.
Checkp tests that predicates work. The statement (checkp PRED TYPE
VALUE) tries to assert that in a branch where (PRED VALUE) is true the
type of VALUE is TYPE
Hello again,
this fixes #1446 I reported earlier.
The patch applies after the other patch I posted today.
Here's a simple example showing the issue:
(define-type T (or string boolean))
(: foo ((T T -> any) T -> any))
(define (foo f a) (f a "foo"))
(: bar (string string -> any))
(define (bar a