pub(crate) fn elab_for_result(path: FileRef) -> io::Result<(FileContents, Option<FrozenEnv>)> {
  let (path, file) = VFS.get_or_insert(path)?;
  let env = match block_on(elaborate(path, Default::default()))? {
    ElabResult::Ok(_, _, env) => Some(env),
    _ => None
  };
  Ok((file.text.clone(), env))
}
/// Elaborate a file, and return the completed [`FrozenEnv`] result, along with the
/// file contents.
Elaborate a file, and return the completed [`FrozenEnv`] result, along with the
file contents.
Elaborate a file and return the completed [ ` FrozenEnv ` ] result along with the file contents .
pub(crate) fn elab_for_result(path: FileRef) -> io::Result<(FileContents, Option<FrozenEnv>)> {
  let (path, file) = VFS.get_or_insert(path)?;
  let env = match block_on(elaborate(path, Default::default()))? {
    ElabResult::Ok(_, _, env) => Some(env),
    _ => None
  };
  Ok((file.text.clone(), env))
}
pub ( crate ) fn elab_for_result ( path : FileRef ) -> io :: Result < ( FileContents , Option < FrozenEnv > ) > { let ( path , file ) = VFS . get_or_insert ( path ) ? ; let env = match block_on ( elaborate ( path , Default :: default ( ) ) ) ? { ElabResult :: Ok ( _ , _ , env ) => Some ( env ) , _ => None } ; Ok ( ( file . text . clone ( ) , env ) ) }
Elaborate a file, and return the completed [`FrozenEnv`] result, along with the
file contents.
Elaborate a file and return the completed [ ` FrozenEnv ` ] result along with the file contents .
path
FileRef
path
FileRef