Add test for PR 14144

Forgot to include this in commit 7c4eb845a0
2013-11-11 23:22:42 -05:00 · 2013-11-11 23:22:42 -05:00 · 0e3471b952
commit 0e3471b952
parent 7c4eb845a0
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)
+