| changeset 686 | 05cfce0fdef7 |
| parent 645 | 30943d5491b6 |
| child 695 | 484b74bc057e |
| 685:75d9f9e5906f | 686:05cfce0fdef7 |
|---|---|
30 } |
30 } |
31 |
31 |
32 def main(args: Array[String]) = { |
32 def main(args: Array[String]) = { |
33 val fname = args(0) |
33 val fname = args(0) |
34 val tks = deserialise[List[Token]](fname).getOrElse(Nil) |
34 val tks = deserialise[List[Token]](fname).getOrElse(Nil) |
35 println(s"Reading back from ${fname}:\n${tks.mkString("\n")}") |
35 println(s"Reading back from ${fname}:\n${tks.mkString(", ")}") |
36 } |
36 } |
37 |
37 |
38 |
38 |
39 } |
39 } |