From f7efcd1057051c241467f0dcf00d041242135228 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:56:42 -0600 Subject: [PATCH] polystlc 6 --- .../redex-examples/redex/examples/benchmark/poly-stlc/6.diff | 4 ++++ .../redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt | 3 +++ 2 files changed, 7 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff index ab1151519b..cb79bc0b80 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/6.diff @@ -6,3 +6,7 @@ < (--> (in-hole E ((hd @ τ) (((cons @ τ) v_1) v_2))) --- > (--> (in-hole E ((hd @ τ) ((cons @ τ) v_1))) +294a295,297 +> (define small-counter-example +> (term ([hd @ 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-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt index f1a980a5cd..43760e0b97 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt @@ -292,3 +292,6 @@ (generate-term poly-stlc M #:i-th index) (set! index (add1 index)))))) +(define small-counter-example + (term ([hd @ int] (([cons @ int] 1) [nil @ int])))) +(test-equal (check small-counter-example) #f)