From 9113d93acfe90f2d9cef77d033c31cf8f528a522 Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Tue, 10 Mar 2020 10:57:54 -0400
Subject: [PATCH] floating define test

---
 racket/typed/tests/floating-define.rkt | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 racket/typed/tests/floating-define.rkt

diff --git a/racket/typed/tests/floating-define.rkt b/racket/typed/tests/floating-define.rkt
new file mode 100644
index 0000000..e93a5d9
--- /dev/null
+++ b/racket/typed/tests/floating-define.rkt
@@ -0,0 +1,9 @@
+#lang typed/syndicate/roles
+
+(require rackunit/turnstile)
+
+;; TODO - currently fails with a racket error. Is that OK?
+;; (ideally, this would fail with a better error message)
+(typecheck-fail
+ (let ([x (define y 5)])
+   (add1 1)))