| changeset 686 | 5fe95ea0bad0 |
| parent 645 | 8da29f6ef225 |
| child 695 | a936b1717b1b |
| 685:5e51f4f02245 | 686:5fe95ea0bad0 |
|---|---|
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 } |