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/cm/depend/se2dae.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/depend/se2dae.sml

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

revision 878, Wed Jul 18 17:43:27 2001 UTC revision 879, Thu Jul 19 18:59:38 2001 UTC
# Line 6  Line 6 
6   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7   *)   *)
8  signature STATENV2DAENV = sig  signature STATENV2DAENV = sig
9      val cvt : GenericVC.Environment.staticEnv ->      val cvt : Environment.staticEnv -> DAEnv.env * (unit -> SymbolSet.set)
         DAEnv.env * (unit -> SymbolSet.set)  
10    
11      (* The thunk passed to cvtMemo will not be called until the first      (* The thunk passed to cvtMemo will not be called until the first
12       * attempt to query the resulting DAEnv.env.       * attempt to query the resulting DAEnv.env.
# Line 15  Line 14 
14       * should further guard the resulting env with an appropriate filter       * should further guard the resulting env with an appropriate filter
15       * to avoid queries that are known in advance to be unsuccessful       * to avoid queries that are known in advance to be unsuccessful
16       * because they would needlessly cause the thunk to be called. *)       * because they would needlessly cause the thunk to be called. *)
17      val cvtMemo :      val cvtMemo : (unit -> Environment.staticEnv) -> DAEnv.env
         (unit -> GenericVC.Environment.staticEnv) ->  
         DAEnv.env  
18  end  end
19    
20  structure Statenv2DAEnv :> STATENV2DAENV = struct  structure Statenv2DAEnv :> STATENV2DAENV = struct
21    
22      structure E = GenericVC.Environment      structure E = Environment
23    
24      fun cvt_fctenv look = DAEnv.FCTENV (cvt_result o look)      fun cvt_fctenv look = DAEnv.FCTENV (cvt_result o look)
25    

Legend:
Removed from v.878  
changed lines
  Added in v.879

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