From 0b77eec922441e3252803f3fbf20fb5ca0b8c6ef Mon Sep 17 00:00:00 2001
From: DJMcNab <36049421+DJMcNab@users.noreply.github.com>
Date: Sun, 9 Dec 2018 19:19:23 +0000
Subject: Add a test to ensure that we can parse each file

Note that this has a non-spurious failure in ra_analysis/src/mock_analysis
---
 crates/ra_syntax/tests/test.rs | 45 ++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 43 insertions(+), 2 deletions(-)

(limited to 'crates/ra_syntax/tests')

diff --git a/crates/ra_syntax/tests/test.rs b/crates/ra_syntax/tests/test.rs
index 67acc9020..7f385f86f 100644
--- a/crates/ra_syntax/tests/test.rs
+++ b/crates/ra_syntax/tests/test.rs
@@ -6,7 +6,7 @@ extern crate walkdir;
 use std::{
     fmt::Write,
     fs,
-    path::{Path, PathBuf},
+    path::{Path, PathBuf, Component},
 };
 
 use ra_syntax::{
@@ -37,6 +37,45 @@ fn parser_fuzz_tests() {
     }
 }
 
+/// Test that Rust-analyzer can parse and validate the rust-analyser
+/// TODO: Use this as a benchmark
+#[test]
+fn self_hosting_parsing() {
+    let empty_vec = vec![];
+    let dir = project_dir();
+    let mut count = 0u32;
+    for entry in walkdir::WalkDir::new(dir)
+        .into_iter()
+        .filter_entry(|entry| {
+            !entry
+                .path()
+                .components()
+                // TODO: this more neatly
+                .any(|component| {
+                    // Get all files which are not in the crates/ra_syntax/tests/data folder
+                    (component == Component::Normal(std::ffi::OsStr::new("data"))
+                    // or the .git folder
+                        || component == Component::Normal(std::ffi::OsStr::new(".git")))
+                })
+        })
+        .map(|e| e.unwrap())
+        .filter(|entry| {
+            // Get all `.rs ` files
+            !entry.path().is_dir() && (entry.path().extension() == Some(std::ffi::OsStr::new("rs")))
+        })
+    {
+        count += 1;
+        let text = read_text(entry.path());
+        let node = SourceFileNode::parse(&text);
+        let errors = node.errors();
+        assert_eq!(
+            errors, empty_vec,
+            "There should be no errors in the file {:?}",
+            entry
+        );
+    }
+    panic!("{}", count)
+}
 /// Read file and normalize newlines.
 ///
 /// `rustc` seems to always normalize `\r\n` newlines to `\n`:
@@ -49,7 +88,9 @@ fn parser_fuzz_tests() {
 ///
 /// so this should always be correct.
 fn read_text(path: &Path) -> String {
-    fs::read_to_string(path).unwrap().replace("\r\n", "\n")
+    fs::read_to_string(path)
+        .expect(&format!("File at {:?} should be valid", path))
+        .replace("\r\n", "\n")
 }
 
 pub fn dir_tests<F>(paths: &[&str], f: F)
-- 
cgit v1.2.3


From 20bbe0127cc6bfac3ced0c7ed1de4f0526f3bbed Mon Sep 17 00:00:00 2001
From: DJMcNab <36049421+DJMcNab@users.noreply.github.com>
Date: Mon, 17 Dec 2018 22:34:18 +0000
Subject: Fix parsing of inclusive ranges (#214)

I'm not certain that this is correct, so extra eyes would be good
---
 .../tests/data/parser/inline/0094_range_pat.rs     |  6 +-
 .../tests/data/parser/inline/0094_range_pat.txt    | 86 +++++++++++++++-------
 .../tests/data/parser/ok/0029_range_forms.rs       |  5 ++
 .../tests/data/parser/ok/0029_range_forms.txt      | 86 ++++++++++++++++++++--
 4 files changed, 150 insertions(+), 33 deletions(-)

(limited to 'crates/ra_syntax/tests')

diff --git a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
index 657467e75..3bca7bf5d 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
@@ -1,3 +1,7 @@
 fn main() {
-    match 92 { 0 ... 100 => () }
+    match 92 { 
+        0 ... 100 => (),
+        101 ..= 200 => (),
+        200 .. 301=> (),
+    }
 }
diff --git a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
index 12ccc1314..7eb0fcdf4 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 47)
-  FN_DEF@[0; 46)
+SOURCE_FILE@[0; 113)
+  FN_DEF@[0; 112)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 7)
@@ -8,35 +8,69 @@ SOURCE_FILE@[0; 47)
       L_PAREN@[7; 8)
       R_PAREN@[8; 9)
     WHITESPACE@[9; 10)
-    BLOCK@[10; 46)
+    BLOCK@[10; 112)
       L_CURLY@[10; 11)
       WHITESPACE@[11; 16)
-      MATCH_EXPR@[16; 44)
+      MATCH_EXPR@[16; 110)
         MATCH_KW@[16; 21)
         WHITESPACE@[21; 22)
         LITERAL@[22; 24)
           INT_NUMBER@[22; 24) "92"
         WHITESPACE@[24; 25)
-        MATCH_ARM_LIST@[25; 44)
+        MATCH_ARM_LIST@[25; 110)
           L_CURLY@[25; 26)
-          WHITESPACE@[26; 27)
-          MATCH_ARM@[27; 42)
-            RANGE_PAT@[27; 36)
-              LITERAL@[27; 28)
-                INT_NUMBER@[27; 28) "0"
-              WHITESPACE@[28; 29)
-              DOTDOTDOT@[29; 32)
-              WHITESPACE@[32; 33)
-              LITERAL@[33; 36)
-                INT_NUMBER@[33; 36) "100"
-            WHITESPACE@[36; 37)
-            FAT_ARROW@[37; 39)
-            WHITESPACE@[39; 40)
-            TUPLE_EXPR@[40; 42)
-              L_PAREN@[40; 41)
-              R_PAREN@[41; 42)
-          WHITESPACE@[42; 43)
-          R_CURLY@[43; 44)
-      WHITESPACE@[44; 45)
-      R_CURLY@[45; 46)
-  WHITESPACE@[46; 47)
+          WHITESPACE@[26; 36)
+          MATCH_ARM@[36; 51)
+            RANGE_PAT@[36; 45)
+              LITERAL@[36; 37)
+                INT_NUMBER@[36; 37) "0"
+              WHITESPACE@[37; 38)
+              DOTDOTDOT@[38; 41)
+              WHITESPACE@[41; 42)
+              LITERAL@[42; 45)
+                INT_NUMBER@[42; 45) "100"
+            WHITESPACE@[45; 46)
+            FAT_ARROW@[46; 48)
+            WHITESPACE@[48; 49)
+            TUPLE_EXPR@[49; 51)
+              L_PAREN@[49; 50)
+              R_PAREN@[50; 51)
+          COMMA@[51; 52)
+          WHITESPACE@[52; 61)
+          MATCH_ARM@[61; 78)
+            RANGE_PAT@[61; 72)
+              LITERAL@[61; 64)
+                INT_NUMBER@[61; 64) "101"
+              WHITESPACE@[64; 65)
+              DOTDOTEQ@[65; 68)
+              WHITESPACE@[68; 69)
+              LITERAL@[69; 72)
+                INT_NUMBER@[69; 72) "200"
+            WHITESPACE@[72; 73)
+            FAT_ARROW@[73; 75)
+            WHITESPACE@[75; 76)
+            TUPLE_EXPR@[76; 78)
+              L_PAREN@[76; 77)
+              R_PAREN@[77; 78)
+          COMMA@[78; 79)
+          WHITESPACE@[79; 88)
+          MATCH_ARM@[88; 103)
+            RANGE_PAT@[88; 98)
+              LITERAL@[88; 91)
+                INT_NUMBER@[88; 91) "200"
+              WHITESPACE@[91; 92)
+              DOTDOT@[92; 94)
+              WHITESPACE@[94; 95)
+              LITERAL@[95; 98)
+                INT_NUMBER@[95; 98) "301"
+            FAT_ARROW@[98; 100)
+            WHITESPACE@[100; 101)
+            TUPLE_EXPR@[101; 103)
+              L_PAREN@[101; 102)
+              R_PAREN@[102; 103)
+          COMMA@[103; 104)
+          WHITESPACE@[104; 109)
+          R_CURLY@[109; 110)
+      WHITESPACE@[110; 111)
+      R_CURLY@[111; 112)
+  WHITESPACE@[112; 113)
diff --git a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs
index 03f4ae7b2..f9ff444d4 100644
--- a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs
+++ b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.rs
@@ -3,4 +3,9 @@ fn foo() {
     ..z = 2;
     x = false..1 == 1;
     let x = 1..;
+    
+    ..=1 + 1;
+    ..=z = 2;
+    x = false..=1 == 1;
+    let x = 1..;
 }
diff --git a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt
index 2e7703c21..e3706bfbd 100644
--- a/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt
+++ b/crates/ra_syntax/tests/data/parser/ok/0029_range_forms.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 79)
-  FN_DEF@[0; 78)
+SOURCE_FILE@[0; 153)
+  FN_DEF@[0; 152)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 6)
@@ -8,7 +8,7 @@ SOURCE_FILE@[0; 79)
       L_PAREN@[6; 7)
       R_PAREN@[7; 8)
     WHITESPACE@[8; 9)
-    BLOCK@[9; 78)
+    BLOCK@[9; 152)
       L_CURLY@[9; 10)
       WHITESPACE@[10; 15)
       EXPR_STMT@[15; 23)
@@ -78,6 +78,80 @@ SOURCE_FILE@[0; 79)
             INT_NUMBER@[72; 73) "1"
           DOTDOT@[73; 75)
         SEMI@[75; 76)
-      WHITESPACE@[76; 77)
-      R_CURLY@[77; 78)
-  WHITESPACE@[78; 79)
+      WHITESPACE@[76; 86)
+      err: `expected expression`
+      EXPR_STMT@[86; 89)
+        ERROR@[86; 89)
+          DOTDOTEQ@[86; 89)
+          err: `expected SEMI`
+      EXPR_STMT@[89; 95)
+        BIN_EXPR@[89; 94)
+          LITERAL@[89; 90)
+            INT_NUMBER@[89; 90) "1"
+          WHITESPACE@[90; 91)
+          PLUS@[91; 92)
+          WHITESPACE@[92; 93)
+          LITERAL@[93; 94)
+            INT_NUMBER@[93; 94) "1"
+        SEMI@[94; 95)
+      WHITESPACE@[95; 100)
+      err: `expected expression`
+      EXPR_STMT@[100; 103)
+        ERROR@[100; 103)
+          DOTDOTEQ@[100; 103)
+          err: `expected SEMI`
+      EXPR_STMT@[103; 109)
+        BIN_EXPR@[103; 108)
+          PATH_EXPR@[103; 104)
+            PATH@[103; 104)
+              PATH_SEGMENT@[103; 104)
+                NAME_REF@[103; 104)
+                  IDENT@[103; 104) "z"
+          WHITESPACE@[104; 105)
+          EQ@[105; 106)
+          WHITESPACE@[106; 107)
+          LITERAL@[107; 108)
+            INT_NUMBER@[107; 108) "2"
+        SEMI@[108; 109)
+      WHITESPACE@[109; 114)
+      EXPR_STMT@[114; 133)
+        BIN_EXPR@[114; 132)
+          PATH_EXPR@[114; 115)
+            PATH@[114; 115)
+              PATH_SEGMENT@[114; 115)
+                NAME_REF@[114; 115)
+                  IDENT@[114; 115) "x"
+          WHITESPACE@[115; 116)
+          EQ@[116; 117)
+          WHITESPACE@[117; 118)
+          RANGE_EXPR@[118; 132)
+            LITERAL@[118; 123)
+              FALSE_KW@[118; 123)
+            DOTDOTEQ@[123; 126)
+            BIN_EXPR@[126; 132)
+              LITERAL@[126; 127)
+                INT_NUMBER@[126; 127) "1"
+              WHITESPACE@[127; 128)
+              EQEQ@[128; 130)
+              WHITESPACE@[130; 131)
+              LITERAL@[131; 132)
+                INT_NUMBER@[131; 132) "1"
+        SEMI@[132; 133)
+      WHITESPACE@[133; 138)
+      LET_STMT@[138; 150)
+        LET_KW@[138; 141)
+        WHITESPACE@[141; 142)
+        BIND_PAT@[142; 143)
+          NAME@[142; 143)
+            IDENT@[142; 143) "x"
+        WHITESPACE@[143; 144)
+        EQ@[144; 145)
+        WHITESPACE@[145; 146)
+        RANGE_EXPR@[146; 149)
+          LITERAL@[146; 147)
+            INT_NUMBER@[146; 147) "1"
+          DOTDOT@[147; 149)
+        SEMI@[149; 150)
+      WHITESPACE@[150; 151)
+      R_CURLY@[151; 152)
+  WHITESPACE@[152; 153)
-- 
cgit v1.2.3


From 7a8560ba382af4b3955b14757518f748e0d67709 Mon Sep 17 00:00:00 2001
From: DJMcNab <36049421+DJMcNab@users.noreply.github.com>
Date: Wed, 19 Dec 2018 18:12:19 +0000
Subject: Fix expression parsing by bailing out upon a macro block being found

TODO: Fix this when the block like macro is in expression position

E.g. `test(test!{})` currently parses
---
 crates/ra_syntax/tests/test.rs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'crates/ra_syntax/tests')

diff --git a/crates/ra_syntax/tests/test.rs b/crates/ra_syntax/tests/test.rs
index 7f385f86f..a07855768 100644
--- a/crates/ra_syntax/tests/test.rs
+++ b/crates/ra_syntax/tests/test.rs
@@ -43,7 +43,6 @@ fn parser_fuzz_tests() {
 fn self_hosting_parsing() {
     let empty_vec = vec![];
     let dir = project_dir();
-    let mut count = 0u32;
     for entry in walkdir::WalkDir::new(dir)
         .into_iter()
         .filter_entry(|entry| {
@@ -64,7 +63,6 @@ fn self_hosting_parsing() {
             !entry.path().is_dir() && (entry.path().extension() == Some(std::ffi::OsStr::new("rs")))
         })
     {
-        count += 1;
         let text = read_text(entry.path());
         let node = SourceFileNode::parse(&text);
         let errors = node.errors();
@@ -74,7 +72,6 @@ fn self_hosting_parsing() {
             entry
         );
     }
-    panic!("{}", count)
 }
 /// Read file and normalize newlines.
 ///
-- 
cgit v1.2.3


From cd8e33fb7e60d78809da5e77c968ef30433c2317 Mon Sep 17 00:00:00 2001
From: DJMcNab <36049421+DJMcNab@users.noreply.github.com>
Date: Wed, 19 Dec 2018 18:33:36 +0000
Subject: Revert to f6f7c5

---
 crates/ra_syntax/tests/test.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'crates/ra_syntax/tests')

diff --git a/crates/ra_syntax/tests/test.rs b/crates/ra_syntax/tests/test.rs
index a07855768..7f385f86f 100644
--- a/crates/ra_syntax/tests/test.rs
+++ b/crates/ra_syntax/tests/test.rs
@@ -43,6 +43,7 @@ fn parser_fuzz_tests() {
 fn self_hosting_parsing() {
     let empty_vec = vec![];
     let dir = project_dir();
+    let mut count = 0u32;
     for entry in walkdir::WalkDir::new(dir)
         .into_iter()
         .filter_entry(|entry| {
@@ -63,6 +64,7 @@ fn self_hosting_parsing() {
             !entry.path().is_dir() && (entry.path().extension() == Some(std::ffi::OsStr::new("rs")))
         })
     {
+        count += 1;
         let text = read_text(entry.path());
         let node = SourceFileNode::parse(&text);
         let errors = node.errors();
@@ -72,6 +74,7 @@ fn self_hosting_parsing() {
             entry
         );
     }
+    panic!("{}", count)
 }
 /// Read file and normalize newlines.
 ///
-- 
cgit v1.2.3


From def0a95d357f334b7329c3ee9e7da3c30563321c Mon Sep 17 00:00:00 2001
From: DJMcNab <36049421+DJMcNab@users.noreply.github.com>
Date: Wed, 19 Dec 2018 20:02:37 +0000
Subject: Revert "Revert to f6f7c5"

This approach is correct, but it needs an addition to Restrictions too

This reverts commit ad00d0c8a5f64142e6636e8b048204c8f8982f4a.
---
 crates/ra_syntax/tests/test.rs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'crates/ra_syntax/tests')

diff --git a/crates/ra_syntax/tests/test.rs b/crates/ra_syntax/tests/test.rs
index 7f385f86f..a07855768 100644
--- a/crates/ra_syntax/tests/test.rs
+++ b/crates/ra_syntax/tests/test.rs
@@ -43,7 +43,6 @@ fn parser_fuzz_tests() {
 fn self_hosting_parsing() {
     let empty_vec = vec![];
     let dir = project_dir();
-    let mut count = 0u32;
     for entry in walkdir::WalkDir::new(dir)
         .into_iter()
         .filter_entry(|entry| {
@@ -64,7 +63,6 @@ fn self_hosting_parsing() {
             !entry.path().is_dir() && (entry.path().extension() == Some(std::ffi::OsStr::new("rs")))
         })
     {
-        count += 1;
         let text = read_text(entry.path());
         let node = SourceFileNode::parse(&text);
         let errors = node.errors();
@@ -74,7 +72,6 @@ fn self_hosting_parsing() {
             entry
         );
     }
-    panic!("{}", count)
 }
 /// Read file and normalize newlines.
 ///
-- 
cgit v1.2.3


From db677414304bec41a5eae57eea4eb0b546619415 Mon Sep 17 00:00:00 2001
From: DJMcNab <36049421+DJMcNab@users.noreply.github.com>
Date: Wed, 19 Dec 2018 20:55:24 +0000
Subject: Move is_block to lower in the call tree

---
 .../tests/data/parser/inline/0094_range_pat.rs     |   2 +-
 .../tests/data/parser/inline/0094_range_pat.txt    | 120 ++++++++++-----------
 2 files changed, 61 insertions(+), 61 deletions(-)

(limited to 'crates/ra_syntax/tests')

diff --git a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
index 3bca7bf5d..c12ab6fce 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.rs
@@ -1,5 +1,5 @@
 fn main() {
-    match 92 { 
+    match 92 {
         0 ... 100 => (),
         101 ..= 200 => (),
         200 .. 301=> (),
diff --git a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
index 7eb0fcdf4..d47f38903 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/0094_range_pat.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 113)
-  FN_DEF@[0; 112)
+SOURCE_FILE@[0; 112)
+  FN_DEF@[0; 111)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 7)
@@ -8,69 +8,69 @@ SOURCE_FILE@[0; 113)
       L_PAREN@[7; 8)
       R_PAREN@[8; 9)
     WHITESPACE@[9; 10)
-    BLOCK@[10; 112)
+    BLOCK@[10; 111)
       L_CURLY@[10; 11)
       WHITESPACE@[11; 16)
-      MATCH_EXPR@[16; 110)
+      MATCH_EXPR@[16; 109)
         MATCH_KW@[16; 21)
         WHITESPACE@[21; 22)
         LITERAL@[22; 24)
           INT_NUMBER@[22; 24) "92"
         WHITESPACE@[24; 25)
-        MATCH_ARM_LIST@[25; 110)
+        MATCH_ARM_LIST@[25; 109)
           L_CURLY@[25; 26)
-          WHITESPACE@[26; 36)
-          MATCH_ARM@[36; 51)
-            RANGE_PAT@[36; 45)
-              LITERAL@[36; 37)
-                INT_NUMBER@[36; 37) "0"
-              WHITESPACE@[37; 38)
-              DOTDOTDOT@[38; 41)
-              WHITESPACE@[41; 42)
-              LITERAL@[42; 45)
-                INT_NUMBER@[42; 45) "100"
-            WHITESPACE@[45; 46)
-            FAT_ARROW@[46; 48)
-            WHITESPACE@[48; 49)
-            TUPLE_EXPR@[49; 51)
-              L_PAREN@[49; 50)
-              R_PAREN@[50; 51)
-          COMMA@[51; 52)
-          WHITESPACE@[52; 61)
-          MATCH_ARM@[61; 78)
-            RANGE_PAT@[61; 72)
-              LITERAL@[61; 64)
-                INT_NUMBER@[61; 64) "101"
-              WHITESPACE@[64; 65)
-              DOTDOTEQ@[65; 68)
-              WHITESPACE@[68; 69)
-              LITERAL@[69; 72)
-                INT_NUMBER@[69; 72) "200"
-            WHITESPACE@[72; 73)
-            FAT_ARROW@[73; 75)
-            WHITESPACE@[75; 76)
-            TUPLE_EXPR@[76; 78)
-              L_PAREN@[76; 77)
-              R_PAREN@[77; 78)
-          COMMA@[78; 79)
-          WHITESPACE@[79; 88)
-          MATCH_ARM@[88; 103)
-            RANGE_PAT@[88; 98)
-              LITERAL@[88; 91)
-                INT_NUMBER@[88; 91) "200"
-              WHITESPACE@[91; 92)
-              DOTDOT@[92; 94)
-              WHITESPACE@[94; 95)
-              LITERAL@[95; 98)
-                INT_NUMBER@[95; 98) "301"
-            FAT_ARROW@[98; 100)
-            WHITESPACE@[100; 101)
-            TUPLE_EXPR@[101; 103)
-              L_PAREN@[101; 102)
-              R_PAREN@[102; 103)
-          COMMA@[103; 104)
-          WHITESPACE@[104; 109)
-          R_CURLY@[109; 110)
-      WHITESPACE@[110; 111)
-      R_CURLY@[111; 112)
-  WHITESPACE@[112; 113)
+          WHITESPACE@[26; 35)
+          MATCH_ARM@[35; 50)
+            RANGE_PAT@[35; 44)
+              LITERAL@[35; 36)
+                INT_NUMBER@[35; 36) "0"
+              WHITESPACE@[36; 37)
+              DOTDOTDOT@[37; 40)
+              WHITESPACE@[40; 41)
+              LITERAL@[41; 44)
+                INT_NUMBER@[41; 44) "100"
+            WHITESPACE@[44; 45)
+            FAT_ARROW@[45; 47)
+            WHITESPACE@[47; 48)
+            TUPLE_EXPR@[48; 50)
+              L_PAREN@[48; 49)
+              R_PAREN@[49; 50)
+          COMMA@[50; 51)
+          WHITESPACE@[51; 60)
+          MATCH_ARM@[60; 77)
+            RANGE_PAT@[60; 71)
+              LITERAL@[60; 63)
+                INT_NUMBER@[60; 63) "101"
+              WHITESPACE@[63; 64)
+              DOTDOTEQ@[64; 67)
+              WHITESPACE@[67; 68)
+              LITERAL@[68; 71)
+                INT_NUMBER@[68; 71) "200"
+            WHITESPACE@[71; 72)
+            FAT_ARROW@[72; 74)
+            WHITESPACE@[74; 75)
+            TUPLE_EXPR@[75; 77)
+              L_PAREN@[75; 76)
+              R_PAREN@[76; 77)
+          COMMA@[77; 78)
+          WHITESPACE@[78; 87)
+          MATCH_ARM@[87; 102)
+            RANGE_PAT@[87; 97)
+              LITERAL@[87; 90)
+                INT_NUMBER@[87; 90) "200"
+              WHITESPACE@[90; 91)
+              DOTDOT@[91; 93)
+              WHITESPACE@[93; 94)
+              LITERAL@[94; 97)
+                INT_NUMBER@[94; 97) "301"
+            FAT_ARROW@[97; 99)
+            WHITESPACE@[99; 100)
+            TUPLE_EXPR@[100; 102)
+              L_PAREN@[100; 101)
+              R_PAREN@[101; 102)
+          COMMA@[102; 103)
+          WHITESPACE@[103; 108)
+          R_CURLY@[108; 109)
+      WHITESPACE@[109; 110)
+      R_CURLY@[110; 111)
+  WHITESPACE@[111; 112)
-- 
cgit v1.2.3


From a3b842fb8b7b5503b1c4fc49355edd4f2fe0d28d Mon Sep 17 00:00:00 2001
From: DJMcNab <36049421+DJMcNab@users.noreply.github.com>
Date: Wed, 19 Dec 2018 21:19:32 +0000
Subject: Add tests and only traverse in the crates directory

---
 .../tests/data/parser/inline/0069_match_arm.rs     |   1 +
 .../tests/data/parser/inline/0069_match_arm.txt    | 194 +++++++++++++--------
 .../data/parser/inline/0086_no_semi_after_block.rs |   4 +
 .../parser/inline/0086_no_semi_after_block.txt     |  56 ++++--
 crates/ra_syntax/tests/test.rs                     |  15 +-
 5 files changed, 178 insertions(+), 92 deletions(-)

(limited to 'crates/ra_syntax/tests')

diff --git a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs
index b23a12500..3380fa4ca 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.rs
@@ -1,6 +1,7 @@
 fn foo() {
     match () {
         _ => (),
+        _ if Test>{field: 0} => (),
         X | Y if Z => (),
         | X | Y if Z => (),
         | X => (),
diff --git a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt
index 044faec04..e5647765c 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/0069_match_arm.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 125)
-  FN_DEF@[0; 124)
+SOURCE_FILE@[0; 161)
+  FN_DEF@[0; 160)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 6)
@@ -8,18 +8,18 @@ SOURCE_FILE@[0; 125)
       L_PAREN@[6; 7)
       R_PAREN@[7; 8)
     WHITESPACE@[8; 9)
-    BLOCK@[9; 124)
+    BLOCK@[9; 160)
       L_CURLY@[9; 10)
       WHITESPACE@[10; 15)
-      EXPR_STMT@[15; 122)
-        MATCH_EXPR@[15; 121)
+      EXPR_STMT@[15; 158)
+        MATCH_EXPR@[15; 157)
           MATCH_KW@[15; 20)
           WHITESPACE@[20; 21)
           TUPLE_EXPR@[21; 23)
             L_PAREN@[21; 22)
             R_PAREN@[22; 23)
           WHITESPACE@[23; 24)
-          MATCH_ARM_LIST@[24; 121)
+          MATCH_ARM_LIST@[24; 157)
             L_CURLY@[24; 25)
             WHITESPACE@[25; 34)
             MATCH_ARM@[34; 41)
@@ -33,76 +33,116 @@ SOURCE_FILE@[0; 125)
                 R_PAREN@[40; 41)
             COMMA@[41; 42)
             WHITESPACE@[42; 51)
-            MATCH_ARM@[51; 67)
-              BIND_PAT@[51; 52)
-                NAME@[51; 52)
-                  IDENT@[51; 52) "X"
+            MATCH_ARM@[51; 77)
+              PLACEHOLDER_PAT@[51; 52)
+                UNDERSCORE@[51; 52)
               WHITESPACE@[52; 53)
-              PIPE@[53; 54)
-              WHITESPACE@[54; 55)
-              BIND_PAT@[55; 56)
-                NAME@[55; 56)
-                  IDENT@[55; 56) "Y"
-              WHITESPACE@[56; 57)
-              IF_KW@[57; 59)
-              WHITESPACE@[59; 60)
-              PATH_EXPR@[60; 61)
-                PATH@[60; 61)
-                  PATH_SEGMENT@[60; 61)
-                    NAME_REF@[60; 61)
-                      IDENT@[60; 61) "Z"
-              WHITESPACE@[61; 62)
-              FAT_ARROW@[62; 64)
-              WHITESPACE@[64; 65)
-              TUPLE_EXPR@[65; 67)
-                L_PAREN@[65; 66)
-                R_PAREN@[66; 67)
-            COMMA@[67; 68)
-            WHITESPACE@[68; 77)
-            MATCH_ARM@[77; 95)
-              PIPE@[77; 78)
-              WHITESPACE@[78; 79)
-              BIND_PAT@[79; 80)
-                NAME@[79; 80)
-                  IDENT@[79; 80) "X"
-              WHITESPACE@[80; 81)
-              PIPE@[81; 82)
-              WHITESPACE@[82; 83)
-              BIND_PAT@[83; 84)
-                NAME@[83; 84)
-                  IDENT@[83; 84) "Y"
-              WHITESPACE@[84; 85)
-              IF_KW@[85; 87)
-              WHITESPACE@[87; 88)
-              PATH_EXPR@[88; 89)
-                PATH@[88; 89)
-                  PATH_SEGMENT@[88; 89)
-                    NAME_REF@[88; 89)
-                      IDENT@[88; 89) "Z"
-              WHITESPACE@[89; 90)
-              FAT_ARROW@[90; 92)
+              IF_KW@[53; 55)
+              WHITESPACE@[55; 56)
+              BIN_EXPR@[56; 71)
+                PATH_EXPR@[56; 60)
+                  PATH@[56; 60)
+                    PATH_SEGMENT@[56; 60)
+                      NAME_REF@[56; 60)
+                        IDENT@[56; 60) "Test"
+                R_ANGLE@[60; 61)
+                BLOCK_EXPR@[61; 71)
+                  BLOCK@[61; 71)
+                    L_CURLY@[61; 62)
+                    EXPR_STMT@[62; 67)
+                      PATH_EXPR@[62; 67)
+                        PATH@[62; 67)
+                          PATH_SEGMENT@[62; 67)
+                            NAME_REF@[62; 67)
+                              IDENT@[62; 67) "field"
+                              err: `expected SEMI`
+                              err: `expected expression`
+                    EXPR_STMT@[67; 68)
+                      ERROR@[67; 68)
+                        COLON@[67; 68)
+                        err: `expected SEMI`
+                    WHITESPACE@[68; 69)
+                    LITERAL@[69; 70)
+                      INT_NUMBER@[69; 70) "0"
+                    R_CURLY@[70; 71)
+              WHITESPACE@[71; 72)
+              FAT_ARROW@[72; 74)
+              WHITESPACE@[74; 75)
+              TUPLE_EXPR@[75; 77)
+                L_PAREN@[75; 76)
+                R_PAREN@[76; 77)
+            COMMA@[77; 78)
+            WHITESPACE@[78; 87)
+            MATCH_ARM@[87; 103)
+              BIND_PAT@[87; 88)
+                NAME@[87; 88)
+                  IDENT@[87; 88) "X"
+              WHITESPACE@[88; 89)
+              PIPE@[89; 90)
+              WHITESPACE@[90; 91)
+              BIND_PAT@[91; 92)
+                NAME@[91; 92)
+                  IDENT@[91; 92) "Y"
               WHITESPACE@[92; 93)
-              TUPLE_EXPR@[93; 95)
-                L_PAREN@[93; 94)
-                R_PAREN@[94; 95)
-            COMMA@[95; 96)
-            WHITESPACE@[96; 105)
-            MATCH_ARM@[105; 114)
-              PIPE@[105; 106)
-              WHITESPACE@[106; 107)
-              BIND_PAT@[107; 108)
-                NAME@[107; 108)
-                  IDENT@[107; 108) "X"
-              WHITESPACE@[108; 109)
-              FAT_ARROW@[109; 111)
-              WHITESPACE@[111; 112)
-              TUPLE_EXPR@[112; 114)
-                L_PAREN@[112; 113)
-                R_PAREN@[113; 114)
-            COMMA@[114; 115)
-            WHITESPACE@[115; 120)
-            R_CURLY@[120; 121)
-        SEMI@[121; 122)
-      WHITESPACE@[122; 123)
-      R_CURLY@[123; 124)
-  WHITESPACE@[124; 125)
+              IF_KW@[93; 95)
+              WHITESPACE@[95; 96)
+              PATH_EXPR@[96; 97)
+                PATH@[96; 97)
+                  PATH_SEGMENT@[96; 97)
+                    NAME_REF@[96; 97)
+                      IDENT@[96; 97) "Z"
+              WHITESPACE@[97; 98)
+              FAT_ARROW@[98; 100)
+              WHITESPACE@[100; 101)
+              TUPLE_EXPR@[101; 103)
+                L_PAREN@[101; 102)
+                R_PAREN@[102; 103)
+            COMMA@[103; 104)
+            WHITESPACE@[104; 113)
+            MATCH_ARM@[113; 131)
+              PIPE@[113; 114)
+              WHITESPACE@[114; 115)
+              BIND_PAT@[115; 116)
+                NAME@[115; 116)
+                  IDENT@[115; 116) "X"
+              WHITESPACE@[116; 117)
+              PIPE@[117; 118)
+              WHITESPACE@[118; 119)
+              BIND_PAT@[119; 120)
+                NAME@[119; 120)
+                  IDENT@[119; 120) "Y"
+              WHITESPACE@[120; 121)
+              IF_KW@[121; 123)
+              WHITESPACE@[123; 124)
+              PATH_EXPR@[124; 125)
+                PATH@[124; 125)
+                  PATH_SEGMENT@[124; 125)
+                    NAME_REF@[124; 125)
+                      IDENT@[124; 125) "Z"
+              WHITESPACE@[125; 126)
+              FAT_ARROW@[126; 128)
+              WHITESPACE@[128; 129)
+              TUPLE_EXPR@[129; 131)
+                L_PAREN@[129; 130)
+                R_PAREN@[130; 131)
+            COMMA@[131; 132)
+            WHITESPACE@[132; 141)
+            MATCH_ARM@[141; 150)
+              PIPE@[141; 142)
+              WHITESPACE@[142; 143)
+              BIND_PAT@[143; 144)
+                NAME@[143; 144)
+                  IDENT@[143; 144) "X"
+              WHITESPACE@[144; 145)
+              FAT_ARROW@[145; 147)
+              WHITESPACE@[147; 148)
+              TUPLE_EXPR@[148; 150)
+                L_PAREN@[148; 149)
+                R_PAREN@[149; 150)
+            COMMA@[150; 151)
+            WHITESPACE@[151; 156)
+            R_CURLY@[156; 157)
+        SEMI@[157; 158)
+      WHITESPACE@[158; 159)
+      R_CURLY@[159; 160)
+  WHITESPACE@[160; 161)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs
index d769da43d..4919665cb 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs
+++ b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.rs
@@ -6,4 +6,8 @@ fn foo() {
     for _ in () {}
     {}
     {}
+    macro_rules! test {
+         () => {}
+    }
+    test!{}
 }
diff --git a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt
index 69f0a48ce..63b230091 100644
--- a/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/0086_no_semi_after_block.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 107)
-  FN_DEF@[0; 106)
+SOURCE_FILE@[0; 167)
+  FN_DEF@[0; 166)
     FN_KW@[0; 2)
     WHITESPACE@[2; 3)
     NAME@[3; 6)
@@ -8,7 +8,7 @@ SOURCE_FILE@[0; 107)
       L_PAREN@[6; 7)
       R_PAREN@[7; 8)
     WHITESPACE@[8; 9)
-    BLOCK@[9; 106)
+    BLOCK@[9; 166)
       L_CURLY@[9; 10)
       WHITESPACE@[10; 15)
       EXPR_STMT@[15; 25)
@@ -78,10 +78,46 @@ SOURCE_FILE@[0; 107)
             L_CURLY@[95; 96)
             R_CURLY@[96; 97)
       WHITESPACE@[97; 102)
-      BLOCK_EXPR@[102; 104)
-        BLOCK@[102; 104)
-          L_CURLY@[102; 103)
-          R_CURLY@[103; 104)
-      WHITESPACE@[104; 105)
-      R_CURLY@[105; 106)
-  WHITESPACE@[106; 107)
+      EXPR_STMT@[102; 104)
+        BLOCK_EXPR@[102; 104)
+          BLOCK@[102; 104)
+            L_CURLY@[102; 103)
+            R_CURLY@[103; 104)
+      WHITESPACE@[104; 109)
+      EXPR_STMT@[109; 152)
+        MACRO_CALL@[109; 152)
+          PATH@[109; 120)
+            PATH_SEGMENT@[109; 120)
+              NAME_REF@[109; 120)
+                IDENT@[109; 120) "macro_rules"
+          EXCL@[120; 121)
+          WHITESPACE@[121; 122)
+          IDENT@[122; 126) "test"
+          WHITESPACE@[126; 127)
+          TOKEN_TREE@[127; 152)
+            L_CURLY@[127; 128)
+            WHITESPACE@[128; 138)
+            TOKEN_TREE@[138; 140)
+              L_PAREN@[138; 139)
+              R_PAREN@[139; 140)
+            WHITESPACE@[140; 141)
+            FAT_ARROW@[141; 143)
+            WHITESPACE@[143; 144)
+            TOKEN_TREE@[144; 146)
+              L_CURLY@[144; 145)
+              R_CURLY@[145; 146)
+            WHITESPACE@[146; 151)
+            R_CURLY@[151; 152)
+      WHITESPACE@[152; 157)
+      MACRO_CALL@[157; 164)
+        PATH@[157; 161)
+          PATH_SEGMENT@[157; 161)
+            NAME_REF@[157; 161)
+              IDENT@[157; 161) "test"
+        EXCL@[161; 162)
+        TOKEN_TREE@[162; 164)
+          L_CURLY@[162; 163)
+          R_CURLY@[163; 164)
+      WHITESPACE@[164; 165)
+      R_CURLY@[165; 166)
+  WHITESPACE@[166; 167)
diff --git a/crates/ra_syntax/tests/test.rs b/crates/ra_syntax/tests/test.rs
index a07855768..c17b6ffa6 100644
--- a/crates/ra_syntax/tests/test.rs
+++ b/crates/ra_syntax/tests/test.rs
@@ -41,8 +41,10 @@ fn parser_fuzz_tests() {
 /// TODO: Use this as a benchmark
 #[test]
 fn self_hosting_parsing() {
+    use std::ffi::OsStr;
     let empty_vec = vec![];
-    let dir = project_dir();
+    let dir = project_dir().join("crates");
+    let mut count = 0;
     for entry in walkdir::WalkDir::new(dir)
         .into_iter()
         .filter_entry(|entry| {
@@ -52,17 +54,16 @@ fn self_hosting_parsing() {
                 // TODO: this more neatly
                 .any(|component| {
                     // Get all files which are not in the crates/ra_syntax/tests/data folder
-                    (component == Component::Normal(std::ffi::OsStr::new("data"))
-                    // or the .git folder
-                        || component == Component::Normal(std::ffi::OsStr::new(".git")))
+                    component == Component::Normal(OsStr::new("data"))
                 })
         })
         .map(|e| e.unwrap())
         .filter(|entry| {
             // Get all `.rs ` files
-            !entry.path().is_dir() && (entry.path().extension() == Some(std::ffi::OsStr::new("rs")))
+            !entry.path().is_dir() && (entry.path().extension() == Some(OsStr::new("rs")))
         })
     {
+        count += 1;
         let text = read_text(entry.path());
         let node = SourceFileNode::parse(&text);
         let errors = node.errors();
@@ -72,6 +73,10 @@ fn self_hosting_parsing() {
             entry
         );
     }
+    assert!(
+        count > 30,
+        "self_hosting_parsing found too few files - is it running in the right directory?"
+    )
 }
 /// Read file and normalize newlines.
 ///
-- 
cgit v1.2.3