(* * Building the bootlist from a dependency graph... * * (C) 1999 Lucent Technologies, Bell Laboratories * * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) *) structure MkBootList = MkListFn (type element = AbsPath.t * int option fun bininfo i = (BinInfo.stablepath i, SOME (BinInfo.offset i)) fun smlinfo i = (SmlInfo.binpath i, NONE))
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: = (BinInfo.stablepath i, SOME (BinInfo.offset i)) fun smlinfo i = (SmlInfo.binpath i, NONE))