From 01846909f9be506187f683f5d4c11b6f8ec29c86 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 14:45:38 -0600 Subject: [PATCH] Fix this screw-up --- .../redex-examples/redex/examples/benchmark/stlc/1.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/2.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/3.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/4.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/5.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/6.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/7.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/8.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/9.diff | 2 +- 9 files changed, 9 insertions(+), 9 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff index 9e3142e70e..dc99882edf 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "app rule the range of the function is matched to the argument") 32a33 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 67e4aca243..8c390c8a25 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "the ((cons number) v) value has been omitted") 32a33 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 871e87633f..215a3155d3 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "the order of the types in the function position of application has been swapped") 32a33 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 87aa4cf3f6..036138e02c 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "the type of cons is incorrect") 32a33 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 d6938054d0..67db030638 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "the tail reduction returns the wrong value") 32a33 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 23c53af16d..973f186b01 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "hd reduction acts on partially applied cons") 32a33 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 005d6ca28f..5560f3fc75 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "evaluation isn't allowed on the rhs of applications") 32a33 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 4174e2d55c..51bba017ea 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "lookup always returns int") 32a33 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 bd53e96341..6b331737f4 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 @@ -1,5 +1,5 @@ 3c3 -< (define the-error "the ((cons v) v) value has been omitted") +< (define the-error "no error") --- > (define the-error "variables aren't required to match in lookup") 32a33