From fc4c8dd53ea4ff3c8087cf17aba46d20899da2e3 Mon Sep 17 00:00:00 2001
From: Carl Eastlund <cce@racket-lang.org>
Date: Mon, 8 Jul 2013 23:56:59 -0400
Subject: [PATCH] Added a test for define/generic's interaction with marks.

Specifically, in the test, the bound name and the method name have marks on them
that are different from each other and from the original method names in the
enclosing generics group.
---
 .../racket-test/tests/generic/marked.rkt        | 17 +++++++++++++++++
 .../racket-test/tests/generic/tests.rkt         |  1 +
 2 files changed, 18 insertions(+)
 create mode 100644 pkgs/racket-pkgs/racket-test/tests/generic/marked.rkt

diff --git a/pkgs/racket-pkgs/racket-test/tests/generic/marked.rkt b/pkgs/racket-pkgs/racket-test/tests/generic/marked.rkt
new file mode 100644
index 0000000000..c390d6694f
--- /dev/null
+++ b/pkgs/racket-pkgs/racket-test/tests/generic/marked.rkt
@@ -0,0 +1,17 @@
+#lang racket/base
+
+(require racket/generic)
+
+(define-generics thing
+  (process thing stuff))
+
+(define-syntax-rule (define-thing name)
+  (struct name []
+    #:methods gen:thing
+    [(define-syntax-rule (define-super method)
+       (define/generic method process))
+     (define-super super)
+     (define (process x y)
+       (super y x))]))
+
+(define-thing type)
diff --git a/pkgs/racket-pkgs/racket-test/tests/generic/tests.rkt b/pkgs/racket-pkgs/racket-test/tests/generic/tests.rkt
index 10899c1369..c6bcb95a36 100644
--- a/pkgs/racket-pkgs/racket-test/tests/generic/tests.rkt
+++ b/pkgs/racket-pkgs/racket-test/tests/generic/tests.rkt
@@ -18,5 +18,6 @@
          "empty-interface.rkt"
          "top-level.rkt"
          "pr13737.rkt"
+         "marked.rkt"
          "methods.rkt")