From 11e5bda76f0aed3a4c0afd0334eda7e4f003d99e Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:57:37 -0600 Subject: [PATCH] polystlc 7 --- .../redex-examples/redex/examples/benchmark/poly-stlc/7.diff | 4 ++++ .../redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt | 3 +++ 2 files changed, 7 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff index 2ff8a5fe38..cf968ee3b0 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff @@ -7,3 +7,7 @@ < (v E))) --- > (E M))) +294a294,296 +> (define small-counter-example +> (term ((+ 1) ((+ 2) 3)))) +> (test-equal (check small-counter-example) #f) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt index 6c9cd14cdc..842f2e0b90 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt @@ -291,3 +291,6 @@ (generate-term poly-stlc M #:i-th index) (set! index (add1 index)))))) +(define small-counter-example + (term ((+ 1) ((+ 2) 3)))) +(test-equal (check small-counter-example) #f)