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

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/TopLevel/interact/evalloop.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/interact/evalloop.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 94, Tue May 12 21:56:22 1998 UTC revision 95, Wed May 13 00:49:12 1998 UTC
# Line 9  Line 9 
9        structure CB = CompBasic        structure CB = CompBasic
10        structure EM = ErrorMsg        structure EM = ErrorMsg
11        structure E  = Environment        structure E  = Environment
12        structure SCS = SCStaticEnv        structure CMS = CMStaticEnv
13        structure PP = PrettyPrint        structure PP = PrettyPrint
14        structure T = Time        structure T = Time
15        structure U = Unsafe        structure U = Unsafe
# Line 20  Line 20 
20  type lvar = Access.lvar  type lvar = Access.lvar
21    
22  type interactParams =  type interactParams =
23     {compManagerHook : (CB.ast * EnvRef.SCenvref     {compManagerHook : (CB.ast * EnvRef.CMenvref
24                                             * EnvRef.envref -> unit) option ref,                                             * EnvRef.envref -> unit) option ref,
25            baseEnvRef      : EnvRef.SCenvref,            baseEnvRef      : EnvRef.CMenvref,
26            localEnvRef     : EnvRef.envref,            localEnvRef     : EnvRef.envref,
27            transform       : CB.absyn -> CB.absyn,            transform       : CB.absyn -> CB.absyn,
28            instrument      : {source: CB.source,            instrument      : {source: CB.source,
# Line 76  Line 76 
76    
77  let val parser = C.parseOne source  let val parser = C.parseOne source
78      val cinfo = C.mkCompInfo(source,#get EnvRef.core (),transform)      val cinfo = C.mkCompInfo(source,#get EnvRef.core (),transform)
79      val baseEnvRefunSC = EnvRef.unSC baseEnvRef      val baseEnvRefunCM = EnvRef.unCM baseEnvRef
80    
81      fun checkErrors s =      fun checkErrors s =
82          if C.anyErrors cinfo then raise EM.Error else ()          if C.anyErrors cinfo then raise EM.Error else ()
# Line 90  Line 90 
90                    | SOME cm => cm (ast, baseEnvRef, localEnvRef)                    | SOME cm => cm (ast, baseEnvRef, localEnvRef)
91    
92                  val {static=statenv, dynamic=dynenv, symbolic=symenv} =                  val {static=statenv, dynamic=dynenv, symbolic=symenv} =
93                    E.layerEnv(#get localEnvRef (), #get baseEnvRefunSC ())                    E.layerEnv(#get localEnvRef (), #get baseEnvRefunCM ())
94    
95                  val splitting = !Control.lambdaSplitEnable                  val splitting = !Control.lambdaSplitEnable
96                  val {csegments, newstatenv, absyn, exportPid, exportLvars,                  val {csegments, newstatenv, absyn, exportPid, exportLvars,
# Line 121  Line 121 
121    
122               in PrettyPrint.with_pp (#errConsumer source)               in PrettyPrint.with_pp (#errConsumer source)
123                  (fn ppstrm => printer                  (fn ppstrm => printer
124                    (E.layerEnv(newLocalEnv, #get baseEnvRefunSC ()))                    (E.layerEnv(newLocalEnv, #get baseEnvRefunCM ()))
125                    ppstrm (absyn, exportLvars));                    ppstrm (absyn, exportLvars));
126                  #set localEnvRef newLocalEnv                  #set localEnvRef newLocalEnv
127              end              end
# Line 246  Line 246 
246  end (* top-level local *)  end (* top-level local *)
247  end (* functor EvalLoopF *)  end (* functor EvalLoopF *)
248    
249    
250    (*
251     * $Log: evalloop.sml,v $
252     * Revision 1.1.1.1  1998/04/08 18:39:16  george
253     * Version 110.5
254     *
255     *)

Legend:
Removed from v.94  
changed lines
  Added in v.95

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