From ecec724747ed51478b8b5990441779897e3c5a87 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Mon, 25 Mar 2013 22:13:41 -0700
Subject: [PATCH] Add testcase for sibling modules.

Closes PR 13155.
---
 collects/tests/typed-racket/succeed/pr13155.rkt | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 collects/tests/typed-racket/succeed/pr13155.rkt

diff --git a/collects/tests/typed-racket/succeed/pr13155.rkt b/collects/tests/typed-racket/succeed/pr13155.rkt
new file mode 100644
index 0000000000..745cd9e06d
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/pr13155.rkt
@@ -0,0 +1,15 @@
+#lang racket/base
+
+(module defs typed/racket/base
+  (provide foo)
+  (: foo Integer)
+  (define foo 4)
+  )
+
+(module private-defs typed/racket/base
+  (require (submod ".." defs))
+  (provide foo)
+  )
+
+(require 'private-defs)
+foo