From d088250ead15915e05f54bf90ac3fa51d1731969 Mon Sep 17 00:00:00 2001
From: lihaoyi <haoyi.sg@gmail.com>
Date: Tue, 25 Nov 2014 03:13:08 -0800
Subject: All tests pass

---
 .../src/main/scala/scalaParser/ScalaSyntax.scala   | 27 +++++++++++++---------
 .../src/test/scala/scalaParser/SyntaxTest.scala    | 10 +++++++-
 test.txt                                           |  5 ++--
 3 files changed, 27 insertions(+), 15 deletions(-)

diff --git a/scalaParser/src/main/scala/scalaParser/ScalaSyntax.scala b/scalaParser/src/main/scala/scalaParser/ScalaSyntax.scala
index dcfcd09..b164ec4 100644
--- a/scalaParser/src/main/scala/scalaParser/ScalaSyntax.scala
+++ b/scalaParser/src/main/scala/scalaParser/ScalaSyntax.scala
@@ -136,7 +136,10 @@ class ScalaSyntax(val input: ParserInput) extends Parser with Basic with Identif
 
   def ParamType = rule { K.O("=>") ~ Type | Type ~ "*" | Type }
 
-  def Expr: R0 = rule { (Bindings | optional(K.W("implicit")) ~ Id | "_") ~ K.O("=>") ~ Expr | Expr1 }
+  def Expr: R0 = rule {
+    (Bindings | optional(K.W("implicit")) ~ Id | "_") ~ K.O("=>") ~ Expr |
+    Expr1
+  }
   def Expr1: R0 = rule {
     IfCFlow |
     WhileCFlow |
@@ -201,15 +204,15 @@ class ScalaSyntax(val input: ParserInput) extends Parser with Basic with Identif
   }
 
   def BlockExpr: R0 = rule { '{' ~ (CaseClauses | Block) ~ "}" }
+  def BlockEnd: R0 = rule{ optional(Semis) ~ &("}" | "case") }
   def Block: R0 = rule {
      optional(Semis) ~
      (
-       BlockStats ~ Semis ~ ResultExpr |
-       BlockStats |
-       ResultExpr |
-       MATCH
-     ) ~
-     optional(Semis)
+       ResultExpr ~ BlockEnd |
+       BlockStats ~ Semis ~ ResultExpr ~ BlockEnd |
+       BlockStats ~ BlockEnd |
+       MATCH ~ BlockEnd
+     )
   }
   def BlockStats: R0 = rule{
     oneOrMore(BlockStat).separatedBy(Semis)
@@ -219,7 +222,9 @@ class ScalaSyntax(val input: ParserInput) extends Parser with Basic with Identif
     zeroOrMore(Annotation) ~ (optional(K.W("implicit") | K.W("lazy")) ~ Def | zeroOrMore(LocalModifier) ~ TmplDef) |
     Expr1
   }
-  def ResultExpr: R0 = rule { (Bindings | optional(K.W("implicit")) ~ Id | "_") ~ K.W("=>") ~ Block | Expr1 }
+  def ResultExpr: R0 = rule {
+    (Bindings | optional(K.W("implicit")) ~ Id | "_") ~ K.W("=>") ~ Block | Expr1
+  }
   def Enumerators: R0 = rule { Generator ~ zeroOrMore(Semi ~ Enumerator) ~ WL }
   def Enumerator: R0 = rule { Generator | Guard | Pattern1 ~ K.O("=") ~ Expr }
   def Generator: R0 = rule { Pattern1 ~ K.O("<-") ~ Expr ~ optional(WL ~ Guard)  }
@@ -274,7 +279,7 @@ class ScalaSyntax(val input: ParserInput) extends Parser with Basic with Identif
   def ClassParams: R0 = rule { oneOrMore(ClassParam).separatedBy(',') }
   def ClassParam: R0 = rule { zeroOrMore(Annotation) ~ optional(zeroOrMore(Modifier) ~ (K.W("val") | K.W("var"))) ~ Id ~ K.O(":") ~ ParamType ~ optional(K.O("=") ~ Expr) }
 
-  def Bindings: R0 = rule { '(' ~ oneOrMore(Binding).separatedBy(',') ~ ')' }
+  def Bindings: R0 = rule { '(' ~ zeroOrMore(Binding).separatedBy(',') ~ ')' }
   def Binding: R0 = rule { (Id | K.W("_")) ~ optional(K.O(":") ~ Type) }
 
   def Modifier: R0 = rule { LocalModifier | AccessModifier | K.W("override") }
@@ -340,8 +345,8 @@ class ScalaSyntax(val input: ParserInput) extends Parser with Basic with Identif
 
   def TmplDef: R0 = rule {
     K.W("trait") ~ TraitDef |
-      optional(K.W("case")) ~ (K.W("class") ~ ClassDef |
-        K.W("object") ~ ObjectDef)
+    optional(K.W("case")) ~ (K.W("class") ~ ClassDef |
+    K.W("object") ~ ObjectDef)
   }
   def ClassDef: R0 = rule {
     Id ~
diff --git a/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala b/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala
index c747928..d33ead0 100644
--- a/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala
+++ b/scalaParser/src/test/scala/scalaParser/SyntaxTest.scala
@@ -14,7 +14,7 @@ object SyntaxTest extends TestSuite{
       case Failure(f: ParseError) =>
         println(f.position)
         println(f.formatExpectedAsString)
-//        println(f.formatTraces)
+        println(f.formatTraces)
         throw new Exception(f.position + "\t" + f.formatTraces)
       case Success(parsed) =>
         assert(parsed == input)
@@ -380,6 +380,14 @@ object SyntaxTest extends TestSuite{
           |}
         """.stripMargin
       )
+      * - check(
+        """
+          |class Parser {
+          |  {() => }
+          |}
+          |
+        """.stripMargin
+      )
     }
     def checkFile(path: String) = check(io.Source.fromFile(path).mkString)
     'file{
diff --git a/test.txt b/test.txt
index 9e74c80..a36a573 100644
--- a/test.txt
+++ b/test.txt
@@ -1,4 +1,3 @@
-
-trait Basic {
-  s ~ !Basic.OperatorChar
+class Parser {
+  {() => }
 }
-- 
cgit v1.2.3