ref: 31ed0906c7d3191c81ae5e0f35b91ed9518e22c3
parent: bccf958a86c52a27db9fab3f85f159ddc34629e8
author: Ori Bernstein <ori@eigenstate.org>
date: Thu Jan 26 18:50:48 EST 2017
Fix comment descriptions.
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -56,7 +56,7 @@
Syntax is defined using an informal variant of EBNF.
- token: /regex/ | "quoted" | <english description>
+ token: /regex/ | "quoted" | <informal description>
prod: prodname ":" expr*
expr: alt ( "|" alt )*
alt: term term*
@@ -99,6 +99,13 @@
/* this is a comment /* with another inside */ */
+ Alternatively, '//' may be used to denote a comment. This comment
+ will extend to the end of the current line. Newlines within a line
+ comment may not be escaped.
+
+ // this is a line comment
+ // it will end on this line, regardless of the trailing \
+
Identifiers begin with any alphabetic character or underscore, and
continue with alphanumeric characters or underscores. Currently the
compiler places a limit of 1024 bytes on the length of the identifier.
@@ -595,8 +602,6 @@
the appropriate type variables. Then the left hand and right hand
side of the of the expression are unified with this freshened
type equation.
-
-
4.7.3. Delayed Unification