From c1db6571633d6079a2b2a2d87e57f2c287063894 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:08:58 -0600 Subject: [PATCH] stlc 9 --- .../redex-examples/redex/examples/benchmark/stlc/9.diff | 5 +++++ .../redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt | 4 ++++ 2 files changed, 9 insertions(+) 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 673f5bb06b..135eb61ef8 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 @@ -8,3 +8,8 @@ > [(lookup (x σ Γ) x_2) 238d237 < +270a270,273 +> +> (define small-counter-example +> (term ((λ (x int) (λ (y (list int)) x)) 1))) +> (test-equal (check small-counter-example) #f) 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 9f7839e99f..285547eb6e 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 @@ -267,3 +267,7 @@ (begin0 (generate-term stlc M #:i-th index) (set! index (add1 index)))))) + +(define small-counter-example + (term ((λ (x int) (λ (y (list int)) x)) 1))) +(test-equal (check small-counter-example) #f)