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

polystlc 4

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 15:53:23 -06:00
parent 63786c16b5
commit ef6b2934c1
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/4.diff
View File

@ -6,3 +6,7 @@
< (∀ a (a → ((list a) → (list a))))] < (∀ a (a → ((list a) → (list a))))]
--- ---
> (∀ a (a → ((list a) → a)))] > (∀ a (a → ((list a) → a)))]
294a295,297
> (define small-counter-example
> (term ((+ 1) (([cons @ int] 1) [nil @ int]))))
> (test-equal (check small-counter-example) #f)

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

@ -292,3 +292,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) (([cons @ int] 1) [nil @ int]))))
(test-equal (check small-counter-example) #f)