From 54e338037567d5dec688bc522f1871602a1cee43 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 4 Nov 2013 15:29:11 -0500 Subject: [PATCH] Add a TR test that I forgot to commit Relevant to commit 18d4eb51351bb265f69f16b82593 --- .../fail/same-type-variable-error-msg.rkt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/same-type-variable-error-msg.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/same-type-variable-error-msg.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/same-type-variable-error-msg.rkt new file mode 100644 index 0000000000..0d68aa8af6 --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/same-type-variable-error-msg.rkt @@ -0,0 +1,14 @@ +#; +(exn-pred #rx"but got a different a \\(bound in another scope\\)") +#lang typed/racket + +;; Test that the error message in this case mentions +;; that the type variables look the same but are +;; different + +(: f (All (a) (a -> a))) +(define (f x) + (: g (All (a) (a -> a))) + (define (g y) x) + x) +