summaryrefslogtreecommitdiff
path: root/docs/examples/parsers1.scala
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2006-10-10 16:00:00 +0000
committermichelou <michelou@epfl.ch>2006-10-10 16:00:00 +0000
commit2f0f432ebcbbdf6fb25c8f500ee2fffe6b8ed025 (patch)
tree401e18f07778ba1bb58d66eff6b91ede4146ab71 /docs/examples/parsers1.scala
parentdcbcc2938384bd08794e6776c17e8c33b69672a7 (diff)
downloadscala-2f0f432ebcbbdf6fb25c8f500ee2fffe6b8ed025.tar.gz
scala-2f0f432ebcbbdf6fb25c8f500ee2fffe6b8ed025.tar.bz2
scala-2f0f432ebcbbdf6fb25c8f500ee2fffe6b8ed025.zip
updated docs/examples/*.scala
Diffstat (limited to 'docs/examples/parsers1.scala')
-rw-r--r--docs/examples/parsers1.scala12
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/examples/parsers1.scala b/docs/examples/parsers1.scala
index cdd68470d4..c9029ffb11 100644
--- a/docs/examples/parsers1.scala
+++ b/docs/examples/parsers1.scala
@@ -1,4 +1,4 @@
-package examples;
+package examples
object parsers1 {
@@ -46,10 +46,10 @@ object parsers1 {
trait ListParsers extends Parsers {
def chr(p: char => boolean): Parser
- def chr(c: char): Parser = chr(d: char => d == c)
+ def chr(c: char): Parser = chr((d: char) => d == c)
- def letter : Parser = chr(c: char => Character.isLetter(c))
- def digit : Parser = chr(c: char => Character.isDigit(c))
+ def letter : Parser = chr((c: char) => Character.isLetter(c))
+ def digit : Parser = chr((c: char) => Character.isDigit(c))
def ident : Parser = letter &&& rep(letter ||| digit)
def number : Parser = digit &&& rep(digit)
@@ -60,9 +60,9 @@ object parsers1 {
trait ExprParsers extends Parsers {
def chr(p: char => boolean): Parser
- def chr(c: char): Parser = chr(d: char => d == c)
+ def chr(c: char): Parser = chr((d: char) => d == c)
- def digit : Parser = chr(c: char => Character.isDigit(c))
+ def digit : Parser = chr((c: char) => Character.isDigit(c))
def number : Parser = digit &&& rep(digit)
def summand : Parser = number ||| chr('(') &&& expr &&& chr(')')
def expr : Parser = summand &&& rep(chr('+') &&& summand)