From 41e0156d8bc69fcebcad8891da50bcd7db10e2fb Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 25 Mar 2014 06:46:56 -0500 Subject: [PATCH] fix explanation of stlc bug #2 --- .../redex-examples/redex/examples/benchmark/stlc/2.diff | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt | 2 +- 2 files changed, 2 insertions(+), 2 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 1a8096e66c..d6eb9ef7ad 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,7 +1,7 @@ 3c3 < (define the-error "no error") --- -> (define the-error "the ((cons number) v) value has been omitted") +> (define the-error "the ((cons v) v) value has been omitted") 33d32 < ((cons v) v) 270a270,273 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 70dec7fdea..fbcf0972bf 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 @@ -1,6 +1,6 @@ #lang racket/base -(define the-error "the ((cons number) v) value has been omitted") +(define the-error "the ((cons v) v) value has been omitted") (require redex/reduction-semantics (only-in redex/private/generate-term pick-an-index)