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

add small(ish) counterexample to delim-cont-3

Browse Source
This commit is contained in:
Robby Findler 2014-03-23 14:05:59 -05:00
parent 1a4b68f7e5
commit b7cd08b5fd
2 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff
View File

@ -11,3 +11,12 @@
939a941,942 939a941,942
> >
> >
949a953,960
> (define small-counter-example
> (term ((λ (tg : (Prompt Num Bool))
> (% (call/comp (λ (x : Bool) (if x #f #t))
> tg)
> tg
> (λ (x : Num) #t)))
> (make-prompt-tag Num Bool))))
> (test-equal (check small-counter-example) #f)

8
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
View File

@ -950,3 +950,11 @@
(set! index (add1 index)) (set! index (add1 index))
(generate-term abort-lang e #:i-th index)))) (generate-term abort-lang e #:i-th index))))
(define small-counter-example
(term ((λ (tg : (Prompt Num Bool))
(% (call/comp (λ (x : Bool) (if x #f #t))
tg)
tg
(λ (x : Num) #t)))
(make-prompt-tag Num Bool))))
(test-equal (check small-counter-example) #f)