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/smlfile/smlinfo.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/smlinfo.sml

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

revision 905, Thu Aug 23 21:53:02 2001 UTC revision 986, Wed Nov 21 21:03:17 2001 UTC
# Line 28  Line 28 
28          { sourcepath: SrcPath.file,          { sourcepath: SrcPath.file,
29            group: SrcPath.file * region,            group: SrcPath.file * region,
30            sh_spec: Sharing.request,            sh_spec: Sharing.request,
31            setup: string option * string option }            setup: string option * string option,
32              locl: bool }
33    
34      val eq : info * info -> bool        (* compares sourcepaths *)      val eq : info * info -> bool        (* compares sourcepaths *)
35      val compare : info * info -> order  (* compares sourcepaths *)      val compare : info * info -> order  (* compares sourcepaths *)
# Line 66  Line 67 
67      val attribs : info -> attribs      val attribs : info -> attribs
68      val lastseen : info -> TStamp.t      val lastseen : info -> TStamp.t
69      val setup : info -> string option * string option      val setup : info -> string option * string option
70        val is_local : info -> bool
71    
72      (* forget a parse tree that we are done with *)      (* forget a parse tree that we are done with *)
73      val forgetParsetree : info -> unit      val forgetParsetree : info -> unit
# Line 113  Line 115 
115      type info_args = { sourcepath: SrcPath.file,      type info_args = { sourcepath: SrcPath.file,
116                         group: SrcPath.file * region,                         group: SrcPath.file * region,
117                         sh_spec: Sharing.request,                         sh_spec: Sharing.request,
118                         setup: string option * string option }                         setup: string option * string option,
119                           locl: bool }
120    
121      type generation = unit ref      type generation = unit ref
122    
# Line 134  Line 137 
137                    persinfo: persinfo,                    persinfo: persinfo,
138                    sh_spec: Sharing.request,                    sh_spec: Sharing.request,
139                    attribs: attribs,                    attribs: attribs,
140                    setup: string option * string option }                    setup: string option * string option,
141                      locl:  bool }
142    
143      type ord_key = info      type ord_key = info
144    
# Line 154  Line 158 
158          sh_mode := m          sh_mode := m
159      fun attribs (INFO { attribs = a, ... }) = a      fun attribs (INFO { attribs = a, ... }) = a
160      fun setup (INFO { setup = s, ... }) = s      fun setup (INFO { setup = s, ... }) = s
161        fun is_local (INFO { locl, ... }) = locl
162    
163      fun gerror (gp: GeneralParams.info) = GroupReg.error (#groupreg gp)      fun gerror (gp: GeneralParams.info) = GroupReg.error (#groupreg gp)
164    
# Line 212  Line 217 
217      end      end
218    
219      fun info' attribs (gp: GeneralParams.info) arg = let      fun info' attribs (gp: GeneralParams.info) arg = let
220          val { sourcepath, group = gr as (group, region), sh_spec, setup } = arg          val { sourcepath, group = gr as (group, region), sh_spec, setup, locl }
221                = arg
222          val policy = #fnpolicy (#param gp)          val policy = #fnpolicy (#param gp)
223          fun mkSkelname () = FNP.mkSkelName policy sourcepath          fun mkSkelname () = FNP.mkSkelName policy sourcepath
224          fun mkBinname () = FNP.mkBinName policy sourcepath          fun mkBinname () = FNP.mkBinName policy sourcepath
# Line 257  Line 263 
263                 persinfo = persinfo (),                 persinfo = persinfo (),
264                 sh_spec = sh_spec,                 sh_spec = sh_spec,
265                 attribs = attribs,                 attribs = attribs,
266                 setup = setup }                 setup = setup,
267                   locl = locl }
268      end      end
269    
270      fun info split = info' { split = split, extra_compenv = NONE,      fun info split = info' { split = split, extra_compenv = NONE,

Legend:
Removed from v.905  
changed lines
  Added in v.986

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