SCM Repository
Diff of /sml/trunk/src/cm/bootstrap/mkbootlist.sml
Parent Directory
|
Revision Log
|
Patch
revision 354, Fri Jun 25 08:36:12 1999 UTC | revision 364, Fri Jul 2 07:33:12 1999 UTC | |
---|---|---|
# | Line 6 | Line 6 |
6 | * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) | * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) |
7 | *) | *) |
8 | structure MkBootList = | structure MkBootList = |
9 | MkListFn (type element = string * int option | MkListFn (type element = string * (int * string) option |
10 | fun bininfo i = (BinInfo.stablename i, SOME (BinInfo.offset i)) | fun bininfo i = |
11 | (BinInfo.stablename i, | |
12 | SOME (BinInfo.offset i, BinInfo.describe i)) | |
13 | fun smlinfo i = (SmlInfo.binname i, NONE)) | fun smlinfo i = (SmlInfo.binname i, NONE)) |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |