bug516.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 15 行

import scala.collection.mutable._;

class Members;

object subscriber extends Subscriber[Message[String] with Undoable, Members] {
 def notify(pub: Members, event: Message[String] with Undoable): Unit = 
  (event: Message[String]) match {
   case Include(elem) => Console.println("ADD: " + elem);
   case  Remove(elem) => Console.println("REM: " + elem);
   //case i : Include[HasTree] with Undoable  =>
   //case r : Remove [HasTree] with Undoable  =>
  }
 }