SCM Repository
Diff of /sml/trunk/src/cm/smlfile/skel-io.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 390, Tue Jul 27 14:07:00 1999 UTC | revision 391, Fri Jul 30 07:23:56 1999 UTC | |
|---|---|---|
| # | Line 27 | Line 27 |
| 27 | exception Format = UU.Format | exception Format = UU.Format |
| 28 | ||
| 29 | val s2b = Byte.stringToBytes | val s2b = Byte.stringToBytes |
| 30 | val b2s = Byte.bytesToString | |
| 31 | val b2c = Byte.byteToChar | val b2c = Byte.byteToChar |
| 32 | ||
| 33 | val version = "Skeleton 2\n" | val version = "Skeleton 2\n" |
| # | Line 83 | Line 84 |
| 84 | ||
| 85 | fun read_decl s = let | fun read_decl s = let |
| 86 | ||
| 87 | fun rd () = | val session = UU.mkSession (UU.stringGetter (b2s (BinIO.inputAll s))) |
| case BinIO.input1 s of | ||
| SOME w8 => b2c w8 | ||
| | NONE => raise Format | ||
| val session = UU.mkSession rd | ||
| 88 | ||
| 89 | val symbol = UU.r_symbol session | val symbol = UU.r_symbol session |
| 90 | fun list m r = UU.r_list session m r | fun list m r = UU.r_list session m r |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
