Add a TR test that I forgot to commit

Relevant to commit 18d4eb51351bb265f69f16b82593 original commit: 54e338037567d5dec688bc522f1871602a1cee43
2013-11-04 15:29:11 -05:00 · 2013-11-04 15:29:11 -05:00 · b5efb00d7e
commit b5efb00d7e
parent d87e869321
1 changed files with 14 additions and 0 deletions
--- 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
@ -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)
+