From f19ea7c3a45a373acbf252ec625213b33cee1dab Mon Sep 17 00:00:00 2001 From: Max New Date: Sun, 23 Feb 2014 10:58:05 -0600 Subject: [PATCH] Updated STLC diffs (auto-generated) --- .../redex-examples/redex/examples/benchmark/stlc/10.diff | 8 ++++++-- .../redex-examples/redex/examples/benchmark/stlc/2.diff | 6 +++++- .../redex-examples/redex/examples/benchmark/stlc/3.diff | 6 +++++- .../redex-examples/redex/examples/benchmark/stlc/4.diff | 6 +++++- .../redex-examples/redex/examples/benchmark/stlc/5.diff | 8 ++++++-- .../redex-examples/redex/examples/benchmark/stlc/6.diff | 8 ++++++-- .../redex-examples/redex/examples/benchmark/stlc/7.diff | 8 ++++++-- .../redex-examples/redex/examples/benchmark/stlc/8.diff | 8 ++++++-- .../redex-examples/redex/examples/benchmark/stlc/9.diff | 8 ++++++-- 9 files changed, 51 insertions(+), 15 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/10.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/10.diff index 87c1a3d516..dbe5b3f339 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/10.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/10.diff @@ -6,9 +6,13 @@ < racket/contract 8a8 > racket/contract -57c57 +58c58 < (typeof Γ M_2 σ) --- > (typeof Γ M_2 σ_2) -231d230 +232d231 < +249c248 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) 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 25416f848a..0f1cb447ce 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,8 +2,12 @@ < (define the-error "no error") --- > (define the-error "the ((cons number) v) value has been omitted") -32,33c32 +33,34c33 < (cons v) < ((cons v) v)) --- > (cons v)) +249c248 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/3.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/3.diff index 9e6b0dc80c..347d7f9abd 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/3.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/3.diff @@ -6,7 +6,11 @@ < racket/contract 8a8 > racket/contract -56c56 +57c57 < [(typeof Γ M (σ → σ_2)) --- > [(typeof Γ M (σ_2 → σ)) +249c249 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/4.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/4.diff index 0f7fd33d12..200ffefceb 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/4.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/4.diff @@ -6,7 +6,11 @@ < racket/contract 8a8 > racket/contract -66c66 +67c67 < (int → ((list int) → (list int)))] --- > (int → ((list int) → int))] +249c249 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/5.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/5.diff index 96c4c11e35..bb06acc96c 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/5.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/5.diff @@ -6,9 +6,13 @@ < racket/contract 8a8 > racket/contract -91c91 +92c92 < (in-hole E v_2) --- > (in-hole E v_1) -231d230 +232d231 < +249c248 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff index e1bdafed05..b1b2a738ff 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff @@ -6,9 +6,13 @@ < racket/contract 8a8 > racket/contract -87c87 +88c88 < (--> (in-hole E (hd ((cons v_1) v_2))) --- > (--> (in-hole E (hd (cons v_1))) -231d230 +232d231 < +249c248 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/7.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/7.diff index a44b8256a3..d8ed79c3ad 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/7.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/7.diff @@ -6,10 +6,14 @@ < racket/contract 8a8 > racket/contract -35,36c35 +36,37c36 < (E M) < (v E))) --- > (E M))) -231d229 +232d230 < +249c247 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/8.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/8.diff index 20689d0938..cd0044085f 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/8.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/8.diff @@ -6,9 +6,13 @@ < racket/contract 8a8 > racket/contract -75c75 +76c76 < σ] --- > int] -231d230 +232d231 < +249c248 +< (= (length red-res) 1) +--- +> (= (length red-res) 1) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/9.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/9.diff index 3446e797a7..a9f99c8d84 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/9.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/9.diff @@ -6,9 +6,13 @@ < racket/contract 8a8 > racket/contract -74c74 +75c75 < [(lookup (x σ Γ) x) --- > [(lookup (x σ Γ) x_2) -231d230 +232d231 < +249c248 +< (= (length red-res) 1) +--- +> (= (length red-res) 1)