Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/branches/SMLNJ/src/compiler/TopLevel/interact/intconfig.sml
ViewVC logotype

View of /sml/branches/SMLNJ/src/compiler/TopLevel/interact/intconfig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 113 - (download) (annotate)
Fri Jun 5 19:41:21 1998 UTC (22 years, 1 month ago) by monnier
File size: 1234 byte(s)
110.7
(* COPYRIGHT (c) 1996 Bell Laboratories *)
(* intconfig.sml *)

structure IntConfig : CCONFIG = 
struct
  fun bug s = ErrorMsg.impossible ("IntConfig:" ^ s)
  exception SilentException = BatchConfig.SilentException
  
  type statenv = StaticEnv.staticEnv
  type cmstatenv = StaticEnv.staticEnv
  val toCM : statenv -> cmstatenv = fn x => x
  val fromCM : cmstatenv -> statenv = fn x => x
   
  type pickle = unit
  type hash = unit
  type lvar = Access.lvar
  type pid = PersStamps.persstamp

  val topCount = ref 0
  val pickUnpick : cmstatenv * statenv ->
                     {hash: hash, pickle: pickle, exportLvars: lvar list,
                      exportPid: pid option, newenv: statenv}
    = fn (compenv, newenv) =>
       let val _ = topCount := !topCount + 1
           val (newenv',hash,exportLvars,exportPid) = 
             PickMod.dontPickle(newenv,!topCount)
        in {hash=(),pickle=(),exportLvars=exportLvars,
	    exportPid=exportPid,newenv=newenv'}
       end

  val makePid : cmstatenv * cmstatenv -> pid 
    = fn _ => bug "unexpected call to makePid in IntConfig"

  val mkStamp = Stamps.new()
  val mkMkStamp : unit -> (unit -> Stamps.stamp) = fn () => mkStamp

end (* structure IntConfig *)

(*
 * $Log$
 *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0