Add test for PR 14144

Forgot to include this in commit 7c4eb845a02c77dee6a9f8a650a9261ab1a7b25b original commit: 0e3471b9529b7bce7adbb3a4641ec9c9fc330f2e
2013-11-11 23:22:42 -05:00 · 2013-11-11 23:22:42 -05:00 · 444b2c16f2
commit 444b2c16f2
parent be035ba8d5
1 changed files with 13 additions and 0 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr14144.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr14144.rkt
@ -0,0 +1,13 @@
+#;
+(exn-pred #rx"Expected 'foo, but got 'bar")
+#lang racket/load
+
+;; Test for PR 14144
+;; Make sure that the second definition is checked
+;; against the synthesized type for the first definition
+
+(require typed/racket)
+
+(define x 'foo)
+(define x 'bar)
+