diff -r e66bd5c563eb -r b5b5583a3a08 progs/detokenise.scala
--- a/progs/detokenise.scala	Mon Jul 27 11:02:48 2020 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,42 +0,0 @@
-// 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(", ")}")  
-}
-
-
-}