From 10de717cb47b6b9b4b4cddb924242778a1963dee Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Mon, 17 Feb 2014 11:59:17 -0600 Subject: [PATCH] use 'v' in the values non-terminal for cons pairs --- .../redex/examples/benchmark/stlc/2.diff | 12 +++--------- .../redex/examples/benchmark/stlc/stlc-10.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-2.rkt | 6 +++--- .../redex/examples/benchmark/stlc/stlc-3.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-4.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-5.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-6.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-7.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-8.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-9.rkt | 4 ++-- .../redex/examples/benchmark/stlc/stlc-base.rkt | 4 ++-- 11 files changed, 24 insertions(+), 30 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff index 0488a6e5ce..25416f848a 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff @@ -2,14 +2,8 @@ < (define the-error "no error") --- > (define the-error "the ((cons number) v) value has been omitted") -6,7d5 -< racket/list -< racket/contract -8a7,8 -> racket/contract -> racket/list 32,33c32 -< (cons number) -< ((cons number) v)) +< (cons v) +< ((cons v) v)) --- -> (cons number)) +> (cons v)) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt index 77ec92a5cd..14996f880b 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt index 2d49091af9..b0fb68c337 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt @@ -3,9 +3,9 @@ (define the-error "the ((cons number) v) value has been omitted") (require redex/reduction-semantics - racket/match - racket/contract racket/list + racket/contract + racket/match "tut-subst.rkt") (provide (all-defined-out)) @@ -29,7 +29,7 @@ (v (λ (x τ) M) c number - (cons number)) + (cons v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt index cbd92049e2..35a840ae38 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt index 8c71073f13..ea5a2cb853 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt index c75c5273d5..7f8fa0ebf2 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt index 84365702c4..19179b8832 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt index 0e52c712dd..c6f1d461c6 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt index 7f04d26904..e3ef714bcc 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt index 0ca80f8513..71ae8d0b19 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt index d3fa2322f1..b96e189331 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt @@ -29,8 +29,8 @@ (v (λ (x τ) M) c number - (cons number) - ((cons number) v)) + (cons v) + ((cons v) v)) (E hole (E M) (v E)))