polystlc 6

This commit is contained in:
Jay McCarthy 2014-03-19 15:56:42 -06:00
parent 99bded9346
commit f7efcd1057
2 changed files with 7 additions and 0 deletions

View File

@ -6,3 +6,7 @@
< (--> (in-hole E ((hd @ τ) (((cons @ τ) v_1) v_2)))
---
> (--> (in-hole E ((hd @ τ) ((cons @ τ) v_1)))
294a295,297
> (define small-counter-example
> (term ([hd @ int] (([cons @ int] 1) [nil @ int]))))
> (test-equal (check small-counter-example) #f)

View File

@ -292,3 +292,6 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define small-counter-example
(term ([hd @ int] (([cons @ int] 1) [nil @ int]))))
(test-equal (check small-counter-example) #f)