From ed840e90fab53c2212ecd13de56a5d55e419ddf8 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 16:03:41 -0600 Subject: [PATCH] remove fixed --- .../redex/examples/benchmark/delim-cont/delim-cont-1.rkt | 5 ----- .../redex/examples/benchmark/delim-cont/delim-cont-2.rkt | 5 ----- .../redex/examples/benchmark/delim-cont/delim-cont-3.rkt | 5 ----- .../redex/examples/benchmark/delim-cont/delim-cont-base.rkt | 5 ----- 4 files changed, 20 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt index 8a929e1019..c66b5942a9 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt @@ -951,8 +951,3 @@ (set! index (add1 index)) (generate-term abort-lang e #:i-th index)))) -(define fixed - (term - (;; 1, 2 & 3 [designed for 1] - (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num) - ))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt index bced7e6711..34fdb98f11 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt @@ -949,8 +949,3 @@ (set! index (add1 index)) (generate-term abort-lang e #:i-th index)))) -(define fixed - (term - (;; 1, 2 & 3 [designed for 1] - (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num) - ))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt index 81eec8f63b..8000973051 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt @@ -949,8 +949,3 @@ (set! index (add1 index)) (generate-term abort-lang e #:i-th index)))) -(define fixed - (term - (;; 1, 2 & 3 [designed for 1] - (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num) - ))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt index c795387266..da6a998dec 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt @@ -946,8 +946,3 @@ (set! index (add1 index)) (generate-term abort-lang e #:i-th index)))) -(define fixed - (term - (;; 1, 2 & 3 [designed for 1] - (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num) - )))