From 8e95ce9deb83d06f697c389f768c530b57d64b3a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 1 Feb 2017 07:56:13 +0100 Subject: [PATCH] Note: maybe we should use the 'scribble property instead of 'first-comments and 'comments-after --- comment-reader.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/comment-reader.rkt b/comment-reader.rkt index 2b0ac644..5b11768a 100644 --- a/comment-reader.rkt +++ b/comment-reader.rkt @@ -1,6 +1,10 @@ ;; Copied and modified from https://github.com/racket/scribble/blob/ ;; 31ad440b75b189a2b0838aab011544d44d6b580/ ;; scribble-lib/scribble/comment-reader.rkt +;; +;; Maybe this should use instead the 'scribble property? See +;; https://docs.racket-lang.org/scribble/ +;; reader-internals.html#%28part._.Syntax_.Properties%29 (module comment-reader scheme/base (require (only-in racket/port peeking-input-port))