From 55e58a3faef3197c4421a4997ff4ef54e1a09cef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 9 Nov 2015 20:49:15 +0100 Subject: [PATCH] Added negative tests for assoc and member. --- typed-racket-test/fail/assoc-with-is-equal-argument.rkt | 9 +++++++++ typed-racket-test/fail/member-with-is-equal-argument.rkt | 9 +++++++++ 2 files changed, 18 insertions(+) create mode 100644 typed-racket-test/fail/assoc-with-is-equal-argument.rkt create mode 100644 typed-racket-test/fail/member-with-is-equal-argument.rkt diff --git a/typed-racket-test/fail/assoc-with-is-equal-argument.rkt b/typed-racket-test/fail/assoc-with-is-equal-argument.rkt new file mode 100644 index 00000000..92d9f0fe --- /dev/null +++ b/typed-racket-test/fail/assoc-with-is-equal-argument.rkt @@ -0,0 +1,9 @@ +#lang typed/racket + +(: equal-string-length (→ String String Boolean)) +(define (equal-string-length s1 s2) + (= (string-length s1) (string-length s2))) + +(assoc 123 + '(("bb" . 1) ("c" . 2) ("ddd" . 3)) + equal-string-length) diff --git a/typed-racket-test/fail/member-with-is-equal-argument.rkt b/typed-racket-test/fail/member-with-is-equal-argument.rkt new file mode 100644 index 00000000..807023e2 --- /dev/null +++ b/typed-racket-test/fail/member-with-is-equal-argument.rkt @@ -0,0 +1,9 @@ +#lang typed/racket + +(: equal-string-length (→ String String Boolean)) +(define (equal-string-length s1 s2) + (= (string-length s1) (string-length s2))) + +(member 123 + '("bb" "c" "ddd") + equal-string-length)