--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Attic/detokenise.scala	Thu Jul 30 13:50:54 2020 +0100
@@ -0,0 +1,42 @@
+// Detokenising the ouput of Tokeniser
+//=====================================
+//
+// call with 
+//
+//     scala detokenise.scala fib.tks
+//
+//     scala detokenise.scala loops.tks
+
+object Detokenise {
+
+import java.io._
+import scala.util._ 
+
+abstract class Token extends Serializable 
+case object T_SEMI extends Token
+case object T_LPAREN extends Token
+case object T_RPAREN extends Token
+case class T_ID(s: String) extends Token
+case class T_OP(s: String) extends Token
+case class T_NUM(n: Int) extends Token
+case class T_KWD(s: String) extends Token
+case class T_STR(s: String) extends Token
+
+def deserialise[T](fname: String) : Try[T] = {
+  //import scala.util.Using
+  //Using(new ObjectInputStream(new FileInputStream(fname))) {
+  //  in => in.readObject.asInstanceOf[T]
+  //}
+  Try(new ObjectInputStream(new FileInputStream(fname))).get {
+    in => in.readObject.asInstanceOf[T]
+  }
+}
+
+def main(args: Array[String]) = {
+  val fname = args(0)
+  val tks = deserialise[List[Token]](fname).getOrElse(Nil)
+  println(s"Reading back from ${fname}:\n${tks.mkString(", ")}")  
+}
+
+
+}