changeset 43406 | 40c67d894be4 |
parent 38849 | 2f198d107aef |
child 45635 | d9cf3520083c |
--- a/src/Pure/System/event_bus.scala Wed Jun 15 21:22:51 2011 +0200 +++ b/src/Pure/System/event_bus.scala Wed Jun 15 21:30:15 2011 +0200 @@ -20,7 +20,7 @@ def + (r: Actor): Event_Bus[Event] = { this += r; this } def += (f: Event => Unit) { - this += actor { loop { react { case x: Event => f(x) } } } + this += actor { loop { react { case x => f(x.asInstanceOf[Event]) } } } } def + (f: Event => Unit): Event_Bus[Event] = { this += f; this }