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

polystlc 9

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 16:00:22 -06:00
parent 22cc6b6249
commit 59353317a2
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/poly-stlc/9.diff
View File

@ -6,3 +6,8 @@
< [(lookup (x σ Γ) x) < [(lookup (x σ Γ) x)
--- ---
> [(lookup (x σ Γ) x_2) > [(lookup (x σ Γ) x_2)
294a295,298
> (define small-counter-example
> (term ((λ (y (list int)) ([hd @ int] x))
> [nil @ int])))
> (test-equal (check small-counter-example) #f)

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

@ -292,3 +292,7 @@
(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 ((λ (y (list int)) ([hd @ int] x))
[nil @ int])))
(test-equal (check small-counter-example) #f)