implement LineCommentSyntax
authorSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 13:11:03 +0000 (13:11 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 13:11:03 +0000 (13:11 +0000)
report/lexemes.verb
report/syntax-iso.verb
report/syntax-lexical.verb

index 9977490..5fd1d4c 100644 (file)
@@ -171,8 +171,8 @@ identifiers beginning with underscore.  This allows programmers to use
 ``@_foo@'' for a parameter that they expect to be unused.
 
 @@@
-varsym         -> ( symbol \{symbol | @:@\} )_{\langle{}reservedop | dashes\rangle{}}
-consym         -> (@:@ \{symbol | @:@\})_{\langle{}reservedop\rangle{}}
+varsym         -> ( \hprime{symbol_{\langle{}@:@\rangle} \{symbol\}} )_{\langle{}reservedop | dashes\rangle{}}
+consym         -> ( \hprime{@:@ \{symbol\}})_{\langle{}reservedop\rangle{}}
 reservedop     -> @..@ | @:@ | @::@ | @=@ | @\@ | @|@ | @<-@ | @->@ | \verb+@@+ | @~@ | @=>@
 @@@
 \indexsyn{varsym}%
index c7338e8..824c73f 100644 (file)
@@ -52,8 +52,8 @@ reservedid -> @case@ | @class@ | @data@ | @default@ | @deriving@ | @do@ | @else@
        | @if@ | @import@ | @in@ | @infix@ | @infixl@ | @infixr@ | @instance@
        | @let@ | @module@ | @newtype@ | @of@ | @then@ | @type@ | @where@ | @_@
 
-varsym         -> ( symbol \{symbol | @:@\} )_{\langle{}reservedop | dashes\rangle{}}
-consym         -> (@:@ \{symbol | @:@\})_{\langle{}reservedop\rangle{}}
+varsym         -> ( \hprime{symbol_{\langle{}@:@\rangle} \{symbol\}} )_{\langle{}reservedop | dashes\rangle{}}
+consym         -> ( \hprime{@:@ \{symbol\}})_{\langle{}reservedop\rangle{}}
 reservedop     -> @..@ | @:@ | @::@ | @=@ | @\@ | @|@ | @<-@ | @->@ | {\tt @@} | @~@ | @=>@
 
 varid                  && (\tr{variables})
index 9d93cb7..af9dcc1 100644 (file)
@@ -22,7 +22,7 @@ space         -> \tr{a space}
 tab            -> \tr{a horizontal tab}
 uniWhite        -> \tr{any Unicode character defined as whitespace}
 
-comment         -> dashes [ any_{\langle{}symbol \hprime{| @:@}\rangle}  \{any\} ] newline
+comment         -> dashes [ any_{\langle{}symbol\rangle} \{any\} ] newline
 dashes         -> @--@ \{@-@\}
 opencom                -> @{-@
 closecom       -> @-}@
@@ -30,7 +30,7 @@ ncomment      -> opencom ANYseq \{ncomment ANYseq\} closecom
 ANYseq         -> \{ANY\}_{\langle{}\{ANY\} ( opencom | closecom ) \{ANY\}\rangle{}}
 ANY            -> graphic | whitechar
 any            -> graphic | space | tab
-graphic                -> small | large | symbol | digit | special | @:@ | @"@ | @'@
+graphic                -> small | large | symbol | digit | special | @"@ | @'@
 
 small          -> ascSmall | uniSmall | @_@
 ascSmall      -> @a@ | @b@ | ... | @z@
@@ -39,10 +39,10 @@ uniSmall        -> \tr{any Unicode lowercase letter}
 large          -> ascLarge | uniLarge
 ascLarge      -> @A@ | @B@ | ... | @Z@
 uniLarge        -> \tr{any uppercase or titlecase Unicode letter}
-symbol         -> ascSymbol | uniSymbol_{\langle{}special | @_@ | @:@ | @"@ | @'@\rangle{}}
+symbol         -> ascSymbol | uniSymbol_{\langle{}special | @_@ | @"@ | @'@\rangle{}}
 
 ascSymbol     -> @!@ | @#@ | @$@ | @%@ | @&@ | @*@ | @+@ | @.@ | @/@ | @<@ | @=@ | @>@ | @?@ | @@
-                |  @\@ | @^@ | @|@ | @-@ | @~@
+                |  @\@ | @^@ | @|@ | @-@ | @~@ \hprime{| @:@}
 uniSymbol       -> \tr{any Unicode symbol or punctuation}
 digit          -> ascDigit | uniDigit
 ascDigit       -> @0@ | @1@ | ... | @9@