diff options
author | Jonathan Brachthäuser <jonathan@b-studios.de> | 2016-12-21 20:01:10 +0100 |
---|---|---|
committer | Jonathan Brachthäuser <jonathan@b-studios.de> | 2016-12-21 20:01:10 +0100 |
commit | 5953a8ef5fa0b4c4477044ac3225da43e9678d50 (patch) | |
tree | c678759c186e47251b58cd85f1c7fa1507be947a /docs | |
parent | 669ab6521134340dfa3cdc24afa13b9130aebd4d (diff) | |
download | dotty-5953a8ef5fa0b4c4477044ac3225da43e9678d50.tar.gz dotty-5953a8ef5fa0b4c4477044ac3225da43e9678d50.tar.bz2 dotty-5953a8ef5fa0b4c4477044ac3225da43e9678d50.zip |
Replace tex headers by markdown headers
Diffstat (limited to 'docs')
-rw-r--r-- | docs/docs/internals/syntax.md | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/docs/docs/internals/syntax.md b/docs/docs/internals/syntax.md index 13faa195e..5bdc3add2 100644 --- a/docs/docs/internals/syntax.md +++ b/docs/docs/internals/syntax.md @@ -16,8 +16,10 @@ hexDigit ::= ‘0’ | … | ‘9’ | ‘A’ | … | ‘F’ | ‘a’ | Informal descriptions are typeset as `“some comment”`. -{\small -\begin{lstlisting} +### Lexical Syntax +The lexical syntax of Scala is given by the following grammar in EBNF +form. +```ebnf upper ::= `A' | $\cdots$ | `Z' | `$\Dollar$' | `_' $\mbox{\rm\em and Unicode category Lu}$ lower ::= `a' | $\cdots$ | `z' $\mbox{\rm\em and Unicode category Ll}$ letter ::= upper | lower $\mbox{\rm\em and Unicode categories Lo, Lt, Nl}$ @@ -78,13 +80,14 @@ Informal descriptions are typeset as `“some comment”`. nl ::= $\mbox{\rm\em ``new line character''}$ semi ::= `;' | nl {nl} -\end{lstlisting}} +``` + +## Context-free Syntax The context-free syntax of Scala is given by the following EBNF -grammar. +grammar: -{\small -\begin{lstlisting} +```ebnf SimpleLiteral ::= [`-'] integerLiteral | [`-'] floatingPointLiteral | booleanLiteral @@ -333,5 +336,4 @@ grammar. PackageObject ::= `package' `object' ObjectDef object with package in mods. CompilationUnit ::= {`package' QualId semi} TopStatSeq Package(qid, stats) -\end{lstlisting} -} +``` |