src/Pure/System/invoke_scala.scala
changeset 71601 97ccf48c2f0c
parent 65638 f86798cbe0c2
child 71673 88dfbc382a3d
equal deleted inserted replaced
71600:64aad1e46f98 71601:97ccf48c2f0c
   121     }
   121     }
   122   }
   122   }
   123 
   123 
   124   val functions =
   124   val functions =
   125     List(
   125     List(
   126       Markup.INVOKE_SCALA -> invoke_scala _,
   126       Markup.INVOKE_SCALA -> invoke_scala,
   127       Markup.CANCEL_SCALA -> cancel_scala _)
   127       Markup.CANCEL_SCALA -> cancel_scala)
   128 }
   128 }