src/Pure/PIDE/resources.scala
changeset 66701 d181f8a0e857
parent 66700 5174ce7c84f0
child 66712 4c98c929a12a
     1.1 --- a/src/Pure/PIDE/resources.scala	Wed Sep 27 14:48:25 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Wed Sep 27 17:39:03 2017 +0200
     1.3 @@ -72,19 +72,18 @@
     1.4      }
     1.5    }
     1.6  
     1.7 -  def pure_files(syntax: Outer_Syntax, session: String, dir: Path): List[Path] =
     1.8 -    if (Sessions.is_pure(session)) {
     1.9 -      val roots =
    1.10 -        for { (name, _) <- Thy_Header.ml_roots }
    1.11 -        yield (dir + Path.explode(name)).expand
    1.12 -      val files =
    1.13 -        for {
    1.14 -          (path, (_, theory)) <- roots zip Thy_Header.ml_roots
    1.15 -          file <- loaded_files(syntax, Document.Node.Name(path.implode, path.dir.implode, theory))()
    1.16 -        } yield file
    1.17 -      roots ::: files
    1.18 -    }
    1.19 -    else Nil
    1.20 +  def pure_files(syntax: Outer_Syntax, dir: Path): List[Path] =
    1.21 +  {
    1.22 +    val roots =
    1.23 +      for { (name, _) <- Thy_Header.ml_roots }
    1.24 +      yield (dir + Path.explode(name)).expand
    1.25 +    val files =
    1.26 +      for {
    1.27 +        (path, (_, theory)) <- roots zip Thy_Header.ml_roots
    1.28 +        file <- loaded_files(syntax, Document.Node.Name(path.implode, path.dir.implode, theory))()
    1.29 +      } yield file
    1.30 +    roots ::: files
    1.31 +  }
    1.32  
    1.33    def theory_qualifier(name: Document.Node.Name): String =
    1.34      session_base.global_theories.getOrElse(name.theory, Long_Name.qualifier(name.theory))