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

polystlc 7

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 15:57:37 -06:00
parent f7efcd1057
commit 11e5bda76f
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff
View File

@ -7,3 +7,7 @@
< (v E))) < (v E)))
--- ---
> (E M))) > (E M)))
294a294,296
> (define small-counter-example
> (term ((+ 1) ((+ 2) 3))))
> (test-equal (check small-counter-example) #f)

3
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
View File

@ -291,3 +291,6 @@
(generate-term poly-stlc M #:i-th index) (generate-term poly-stlc M #:i-th index)
(set! index (add1 index)))))) (set! index (add1 index))))))
(define small-counter-example
(term ((+ 1) ((+ 2) 3))))
(test-equal (check small-counter-example) #f)