Return to loader.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / boot

Annotation of researchv10no/cmd/sml/src/boot/loader.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: signature Startup =
        !             3:  sig 
        !             4:      val core : System.Unsafe.object
        !             5:      val initial : System.Unsafe.object
        !             6:      val math : System.Unsafe.object
        !             7:      val name : string
        !             8:  end
        !             9: 
        !            10: functor Loader ( S : Startup ) : sig end =
        !            11: struct
        !            12: 
        !            13:  open Ref List String IO General System System.Unsafe
        !            14:  val boot : string ->
        !            15:            unit ->
        !            16:            ((object list -> (object * ByteArray.bytearray array)) * string list)
        !            17:          = System.Unsafe.boot
        !            18: 
        !            19:  val dict : (string*object) list ref = 
        !            20:        ref [("Initial",S.initial),("Core",S.core),("Math",S.math)]
        !            21: 
        !            22:  val _ = pstruct := {core=S.core,math=S.math,initial=S.initial}
        !            23: 
        !            24:  exception Notfound_Loader
        !            25: 
        !            26:  fun lookup s =
        !            27:     let fun f ((s1,stru)::r) = if s=s1 then stru else f r
        !            28:          | f nil = raise Notfound_Loader
        !            29:      in f (!dict)
        !            30:     end
        !            31: 
        !            32:  fun enter pair = dict := pair::(!dict)
        !            33: 
        !            34:  fun readfile s =
        !            35:        let val stream = open_in s
        !            36:            val file = input stream (can_input stream)
        !            37:        in  close_in stream;
        !            38:            file
        !            39:        end
        !            40: 
        !            41:  fun getmo s =
        !            42:     let fun f DATANIL = readfile s
        !            43:          | f (DATACONS(s',t,x)) = if s=s' then t else f x
        !            44:      in f System.Unsafe.datalist
        !            45:     end
        !            46: 
        !            47:  val say = output std_out
        !            48: 
        !            49:  fun getstruct s =
        !            50:        lookup s handle Notfound_Loader =>
        !            51:            let val _ = (say "[Loading "; say s; say "]\n")
        !            52:                val g = getmo ("mo/" ^ s ^ ".mo");
        !            53:                val (exec,sl) = boot g ()
        !            54:                val saver = ref exec  (* save a pointer for the garbage
        !            55:                                         collector *)
        !            56:                val structs = map getstruct sl
        !            57:                val _ = (say "[Executing "; say s; say "]\n")
        !            58:                val (str,profile) = exec structs
        !            59:            in  enter (s,str);
        !            60:                System.Control.ProfileInternals.add profile;
        !            61:                saver := !saver;    (* trickery for the g.c. *)
        !            62:                str
        !            63:            end
        !            64: 
        !            65:  val _ = (getstruct S.name; System.cleanup())
        !            66:            (* this is the global exception handler of the sml system *)
        !            67:            handle Io s =>
        !            68:                     (say "uncaught Io exception (Loader): ";
        !            69:                      say s;
        !            70:                      say "\n";
        !            71:                      System.cleanup())
        !            72:                 | exn =>
        !            73:                     (say "uncaught exception (Loader): ";
        !            74:                      say (exn_name exn);
        !            75:                      say "\n";
        !            76:                      System.cleanup())
        !            77: 
        !            78: end (* functor Loader *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.