Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/smlfile/skel-io.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/skel-io.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 391, Fri Jul 30 07:23:56 1999 UTC revision 392, Fri Jul 30 08:02:33 1999 UTC
# Line 84  Line 84 
84    
85      fun read_decl s = let      fun read_decl s = let
86    
87            val firstLine = inputLine s
88    
89          val session = UU.mkSession (UU.stringGetter (b2s (BinIO.inputAll s)))          val session = UU.mkSession (UU.stringGetter (b2s (BinIO.inputAll s)))
90    
91          val symbol = UU.r_symbol session          val symbol = UU.r_symbol session
# Line 123  Line 125 
125              share modExpM m              share modExpM m
126          end          end
127      in      in
128          if inputLine s = version then decl () else raise Format          if firstLine = version then decl () else raise Format
129      end      end
130    
131      fun read (s, ts) =      fun read (s, ts) =

Legend:
Removed from v.391  
changed lines
  Added in v.392

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0