def toTextDocument(
      global: Global,
      code: String,
      filename: String,
      timeout: Long,
      options: List[String]
  ): s.TextDocument = {
    val unit = addCompilationUnit(global, code, filename)
    global.typeCheck(unit)
    // reload seems to be necessary before askLoadedType.
    ask[Unit](r => global.askReload(unit.source :: Nil, r)).get
    val compiledTree =
      ask[compiler.Tree](r => global.askLoadedTyped(unit.source, r))
        .get(timeout)
    val tree = compiledTree match {
      case Some(Left(t)) => t
      case Some(Right(ex)) => throw ex
      case None => throw new IllegalArgumentException("Presentation compiler timed out")
    }
    lazy val semanticdbOps: SemanticdbOps {
      val global: global.type
    } = new SemanticdbOps {
      val global: global.type = compiler
    }
    semanticdbOps.config =
      SemanticdbConfig.parse(options, _ => (), global.reporter, SemanticdbConfig.default)
    import semanticdbOps._
    unit.body = tree
    val document = unit.asInstanceOf[semanticdbOps.global.CompilationUnit].toTextDocument
    document
  }