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

stlc 4

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 15:05:41 -06:00
parent a4f3585101
commit e31703fc35
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,3 +6,8 @@
< (int → ((list int) → (list int)))] < (int → ((list int) → (list int)))]
--- ---
> (int → ((list int) → int))] > (int → ((list int) → int))]
270a271,274
>
> (define small-counter-example
> (term ((+ 1) ((cons 1) nil))))
> (test-equal (check small-counter-example) #f)

4
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt
View File

@ -268,3 +268,7 @@
(begin0 (begin0
(generate-term stlc M #:i-th index) (generate-term stlc M #:i-th index)
(set! index (add1 index)))))) (set! index (add1 index))))))
(define small-counter-example
(term ((+ 1) ((cons 1) nil))))
(test-equal (check small-counter-example) #f)