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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/TopLevel/interact/intconfig.sml
ViewVC logotype

Annotation of /sml/trunk/src/compiler/TopLevel/interact/intconfig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (view) (download)

1 : monnier 16 (* COPYRIGHT (c) 1996 Bell Laboratories *)
2 :     (* intconfig.sml *)
3 :    
4 :     structure IntConfig : CCONFIG =
5 :     struct
6 :     fun bug s = ErrorMsg.impossible ("IntConfig:" ^ s)
7 :     exception SilentException = BatchConfig.SilentException
8 :    
9 :     type statenv = StaticEnv.staticEnv
10 :     type scstatenv = StaticEnv.staticEnv
11 :     val toSC : statenv -> scstatenv = fn x => x
12 :     val fromSC : scstatenv -> statenv = fn x => x
13 :    
14 :     type pickle = unit
15 :     type hash = unit
16 :     type lvar = Access.lvar
17 :     type pid = PersStamps.persstamp
18 :    
19 :     val topCount = ref 0
20 :     val pickUnpick : scstatenv * statenv ->
21 :     {hash: hash, pickle: pickle, exportLvars: lvar list,
22 :     exportPid: pid option, newenv: statenv}
23 :     = fn (compenv, newenv) =>
24 :     let val _ = topCount := !topCount + 1
25 :     val (newenv',hash,exportLvars,exportPid) =
26 :     PickMod.dontPickle(newenv,!topCount)
27 :     in {hash=(),pickle=(),exportLvars=exportLvars,
28 :     exportPid=exportPid,newenv=newenv'}
29 :     end
30 :    
31 :     val makePid : scstatenv * scstatenv -> pid
32 :     = fn _ => bug "unexpected call to makePid in IntConfig"
33 :    
34 :     val mkStamp = Stamps.new()
35 :     val mkMkStamp : unit -> (unit -> Stamps.stamp) = fn () => mkStamp
36 :    
37 :     end (* structure IntConfig *)

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