Patch title: Release 87 bulk changes
Abstract:
File: /pliant/language/stream/filebase2.pli
Key:
    Removed line
    Added line
   
# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


function file_query filename options flags -> info
  arg Str filename options ; arg Int flags ; arg FileInfo in
  info size := undefined
  info datetime := undefined
  info options := ""
# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


function file_query filename options flags -> info
  arg Str filename options ; arg Int flags ; arg FileInfo in
  info size := undefined
  info datetime := undefined
  info options := ""
  info status := pliant_default_file_system query filename o
  info name := filename
  info name := filename
  info status := pliant_default_file_system query filename options flags info
  if (flags .and. level_flags)<standard
    info size := undefined
    info datetime := undefined
  if (flags .and. level_flags)<extended
    info options := ""
(the_function file_query Str Str Int -> FileInfo) extra_modu


export file_list file_query
  if (flags .and. level_flags)<standard
    info size := undefined
    info datetime := undefined
  if (flags .and. level_flags)<extended
    info options := ""
(the_function file_query Str Str Int -> FileInfo) extra_modu


export file_list file_query