From a984e828dd4af23c5387364af3bbe2d577a5037b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 9 Jul 2014 23:15:03 -0500 Subject: [PATCH] add test case for new behavior (that I think was legtimately a bug before the recent change to metafunction contracts that added #:post) --- pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt index 79351080a2..4a5e94be32 100644 --- a/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt +++ b/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt @@ -1185,6 +1185,15 @@ '(2 1))) (let () + + (define-metafunction empty-language + must-be-identity : natural_1 -> natural_1 + [(must-be-identity any) 0]) + + (test (with-handlers ((exn:fail:redex? exn-message)) + (term (must-be-identity 1))) + #rx"codomain test failed") + (define-metafunction empty-language [(same any_1 any_1) #t] [(same any_1 any_2) #f])