src/Pure/Tools/build.scala
changeset 65219 ed4b47b8c7dc
parent 65211 73ba79126b55
child 65220 420f55912b3e
     1.1 --- a/src/Pure/Tools/build.scala	Mon Mar 13 23:24:20 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 14 00:09:15 2017 +0100
     1.3 @@ -816,13 +816,13 @@
     1.4        promise
     1.5      }
     1.6  
     1.7 -    private def loading_theory(prover: Prover, msg: Prover.Protocol_Output): Boolean =
     1.8 +    private def loading_theory(msg: Prover.Protocol_Output): Boolean =
     1.9        msg.properties match {
    1.10          case Markup.Loading_Theory(name) => progress.theory(session_name, name); true
    1.11          case _ => false
    1.12        }
    1.13  
    1.14 -    private def build_theories_result(prover: Prover, msg: Prover.Protocol_Output): Boolean =
    1.15 +    private def build_theories_result(msg: Prover.Protocol_Output): Boolean =
    1.16        msg.properties match {
    1.17          case Markup.Build_Theories_Result(id) =>
    1.18            pending.change_result(promises =>
    1.19 @@ -839,11 +839,11 @@
    1.20          case _ => false
    1.21        }
    1.22  
    1.23 -    override def stop(prover: Prover): Unit =
    1.24 +    override def exit(): Unit =
    1.25        pending.change(promises => { for ((_, promise) <- promises) promise.cancel; Map.empty })
    1.26  
    1.27      val functions =
    1.28 -      Map(
    1.29 +      List(
    1.30          Markup.BUILD_THEORIES_RESULT -> build_theories_result _,
    1.31          Markup.LOADING_THEORY -> loading_theory _)
    1.32    }