From 8d44010725d01089b9022c6fd1700e26c00ad237 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 26 Nov 2011 16:42:36 -0700 Subject: [PATCH] better guide entry on "comments" Closes PR 12367 --- collects/scribblings/guide/simple-syntax.scrbl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/guide/simple-syntax.scrbl b/collects/scribblings/guide/simple-syntax.scrbl index 30dba57355..0c478193c6 100644 --- a/collects/scribblings/guide/simple-syntax.scrbl +++ b/collects/scribblings/guide/simple-syntax.scrbl @@ -18,10 +18,12 @@ In syntax specifications, text with a gray background, such as @litchar{#lang}, represents literal text. Whitespace must appear between such literals and nonterminals like @nonterm{id}, except that whitespace is not required before or after @litchar{(}, -@litchar{)}, @litchar{[}, or @litchar{]}. A comment, which starts +@litchar{)}, @litchar{[}, or @litchar{]}. A @index['("comments")]{comment}, which starts with @litchar{;} and runs until the end of the line, is treated the same as whitespace. +@refdetails["parse-comment"]{different forms of comments} + Following the usual conventions, @kleenestar{} in a grammar means zero or more repetitions of the preceding element, @kleeneplus{} means one or more repetitions of the preceding element, and @BNF-group{} groups