SCM Repository
Diff of /sml/trunk/src/cm/smlfile/skel-io.sml
Parent Directory
| 
Revision Log
| 
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) = |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
