scribble icon indicating copy to clipboard operation
scribble copied to clipboard

scribble/comment-reader and quasiquote

Open dvanhorn opened this issue 6 years ago • 0 comments

The scribble/comment-reader causes quasiquote (#\u60) to be replaced by a left single quotation mark (#\u2018), which is inconsistent with what other comment forms produce. For example, the first two produce the right thing, but the last doesn't:

#lang scribble/manual
@(require scribble/examples)

@racketblock[(code:comment "`hi")]
@examples[(code:comment "`hi")]
@#reader scribble/comment-reader
(racketblock
;; `hi
)

dvanhorn avatar Sep 05 '19 12:09 dvanhorn