Changeset 3986


Ignore:
Timestamp:
Oct 21, 2008, 1:29:55 PM (12 years ago)
Author:
yura
Message:
  • ReadXML fails if Open_File fails.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/refal/refal/plus/XML.rf

    r3981 r3986  
    7676$public $func? ReadXML e.fileName = e.xml;
    7777ReadXML e.fileName =
    78   <File_Open e.fileName> :: s.stream, {
     78  $trap <File_Open e.fileName> :: s.stream, {
    7979    <XML.Read s.stream> :: e.xml = <File_Close s.stream>, e.xml;
    8080    = <File_Close s.stream>, $fail;
    81   };
     81  } $with $fail;
    8282
    8383$func Main = e;
Note: See TracChangeset for help on using the changeset viewer.