From 444b2c16f286195dfe308fc9da50dbe6776a7540 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Mon, 11 Nov 2013 23:22:42 -0500
Subject: [PATCH] Add test for PR 14144

Forgot to include this in commit
7c4eb845a02c77dee6a9f8a650a9261ab1a7b25b

original commit: 0e3471b9529b7bce7adbb3a4641ec9c9fc330f2e
---
 .../tests/typed-racket/fail/pr14144.rkt             | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr14144.rkt

diff --git 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
new file mode 100644
index 00000000..492389eb
--- /dev/null
+++ 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)
+