(* * This is a stub providing "slave" functionality for CMB. * (We use dynamic linking technology to avoid loading the target compiler * on the slave side unless it is really needed.) * * (C) 1999 Lucent Technologies, Bell Laboratories * * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) *) structure CMBSlave = struct local val loaded = ref StringSet.empty (* remember what we already have *) in fun slave load arch s = let val lib = arch ^ ".cm" (* eg. sparc-unix -> sparc-unix.cm *) in if StringSet.member (!loaded, lib) then () else if load lib then loaded := StringSet.add (!loaded, lib) else raise Fail (concat ["dynamic linkage for CMB slave ", arch, " failed"]); CMBSlaveHook.slave arch s end end end
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: inkage for CMB slave ", arch, " failed"]); CMBSlaveHook.slave arch s end end end