equal
deleted
inserted
replaced
33 |
33 |
34 def check_keywords( |
34 def check_keywords( |
35 progress: Progress, |
35 progress: Progress, |
36 keywords: Keyword.Keywords, |
36 keywords: Keyword.Keywords, |
37 check: Set[String], |
37 check: Set[String], |
38 paths: List[Path]) |
38 paths: List[Path]): Unit = |
39 { |
39 { |
40 val parallel_args = paths.map(path => (File.read(path), Token.Pos.file(path.expand.implode))) |
40 val parallel_args = paths.map(path => (File.read(path), Token.Pos.file(path.expand.implode))) |
41 |
41 |
42 val bad = |
42 val bad = |
43 Par_List.map((arg: (String, Token.Pos)) => { |
43 Par_List.map((arg: (String, Token.Pos)) => { |