suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

smaller counter example for let-poly-4

Browse Source
This commit is contained in:
Robby Findler 2014-03-30 21:08:29 -05:00
parent e2fe7c658f
commit d33e6e635b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/4.diff
View File

@ -10,5 +10,5 @@
> [(uh (x τ G) G_r boolean) ⊥ (where #t (in-vars? x τ))]
571a574,576
>
> (define small-counter-example (term ((λ x (x x)) (λ x x))))
> (define small-counter-example (term ((λ x (x x)) hd)))
> (test-equal (check small-counter-example) #f)

2
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/let-poly/let-poly-4.rkt
View File

@ -572,5 +572,5 @@ from the given term.
(or (equal? red-t "error")
(loop red-t))))))))))))
(define small-counter-example (term ((λ x (x x)) (λ x x))))
(define small-counter-example (term ((λ x (x x)) hd)))
(test-equal (check small-counter-example) #f)