From 22cc6b6249d82607a62a6d56b2b482ff921f15bd Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:59:18 -0600 Subject: [PATCH] polystlc 8 --- .../redex/examples/benchmark/poly-stlc/8.diff | 6 ++++++ .../redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt | 5 +++++ 2 files changed, 11 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff index 40fe78302d..9e37130f54 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff @@ -6,3 +6,9 @@ < σ] --- > int] +293a294,298 +> +> (define small-counter-example +> (term ((λ (x (list int)) (+ x)) +> [nil @ int]))) +> (test-equal (check small-counter-example) #f) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt index c18c5eee3a..a69a035628 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt @@ -292,3 +292,8 @@ (generate-term poly-stlc M #:i-th index) (set! index (add1 index)))))) +(define small-counter-example + (term ((λ (x (list int)) (+ x)) + [nil @ int]))) +(test-equal (check small-counter-example) #f) +