From 0d8dab679f54e6557c604012846abb59337a1435 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:08:28 -0600 Subject: [PATCH] stlc 8 --- .../redex-examples/redex/examples/benchmark/stlc/8.diff | 5 +++++ .../redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt | 4 ++++ 2 files changed, 9 insertions(+) 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 44c94ca2f6..87c950824d 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 @@ -8,3 +8,8 @@ > int] 238d237 < +270a270,273 +> +> (define small-counter-example +> (term ((λ (x (list int)) (cons x)) nil))) +> (test-equal (check small-counter-example) #f) 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 eaa76e8c1d..a87e9fa20a 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 @@ -267,3 +267,7 @@ (begin0 (generate-term stlc M #:i-th index) (set! index (add1 index)))))) + +(define small-counter-example + (term ((λ (x (list int)) (cons x)) nil))) +(test-equal (check small-counter-example) #f)