From a4f3585101fab08c69edc4343d602f43d004fd75 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:04:20 -0600 Subject: [PATCH] stlc 3 --- .../redex-examples/redex/examples/benchmark/stlc/3.diff | 5 +++++ .../redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt | 4 ++++ 2 files changed, 9 insertions(+) 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 0ff1128edf..ef95d05819 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,3 +6,8 @@ < [(typeof Γ M (σ → σ_2)) --- > [(typeof Γ M (σ_2 → σ)) +270a271,274 +> +> (define small-counter-example +> (term ((λ (x (list int)) 1) 7))) +> (test-equal (check small-counter-example) #f) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt index 8e47c81c11..58d11a8bf5 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt @@ -268,3 +268,7 @@ (begin0 (generate-term stlc M #:i-th index) (set! index (add1 index)))))) + +(define small-counter-example + (term ((λ (x (list int)) 1) 7))) +(test-equal (check small-counter-example) #f)