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

Removing fixed

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 15:37:24 -06:00
parent e8da597de9
commit 0d8ecdf816
11 changed files with 2 additions and 172 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/2.diff
View File

@ -9,7 +9,7 @@
< [#f #f]))
---
> M]))
294a293,295
293a292,294
>
> (define small-counter-example (term (([cons @ int] 1) [nil @ int])))
> (test-equal (check small-counter-example) #f)
>

17
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
View File

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

17
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt
View File

@ -293,20 +293,3 @@
(define small-counter-example (term (([cons @ int] 1) [nil @ int])))
(test-equal (check small-counter-example) #f)
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

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

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

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

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

17
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt
View File

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

17
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt
View File

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

17
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
View File

@ -291,20 +291,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

17
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt
View File

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

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

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))

17
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt
View File

@ -292,20 +292,3 @@
(generate-term poly-stlc M #:i-th index)
(set! index (add1 index))))))
(define fixed
(term
(;; 2
(([cons @ int] 1) nil)
;; 3 & 10 [designed for 3]
((λ (x int) [nil @ int]) 1)
;; 5, 6, 7, 8 & 9 [designed for 4]
((λ (x int) x)
(([cons @ int] 1) [nil @ int]))
;; 4
([tl @ int]
(([cons @ int] 1) [nil @ int]))
)))