From 99bded93463b8bce2e3c96b7234df0845770809d Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:54:49 -0600 Subject: [PATCH] polystlc 5 --- .../redex-examples/redex/examples/benchmark/poly-stlc/5.diff | 4 ++++ .../redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt | 3 +++ 2 files changed, 7 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff index 65bd69e806..e3a8806b53 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/5.diff @@ -6,3 +6,7 @@ < (in-hole E v_2) --- > (in-hole E v_1) +294a295,297 +> (define small-counter-example +> (term ([tl @ int] (([cons @ int] 1) [nil @ int])))) +> (test-equal (check small-counter-example) #f) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt index 0a79f624ac..631005b6c2 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt @@ -292,3 +292,6 @@ (generate-term poly-stlc M #:i-th index) (set! index (add1 index)))))) +(define small-counter-example + (term ([tl @ int] (([cons @ int] 1) [nil @ int])))) +(test-equal (check small-counter-example) #f)