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 666, Fri Jun 16 08:27:00 2000 UTC revision 677, Mon Jun 26 00:56:56 2000 UTC
# Line 43  Line 43 
43      val info : GeneralParams.info ->      val info : GeneralParams.info ->
44          { sourcepath: SrcPath.file,          { sourcepath: SrcPath.file,
45            group: SrcPath.file * region,            group: SrcPath.file * region,
46            sh_spec: Sharing.request }            sh_spec: Sharing.request,
47              setup: string option * string option }
48          -> info          -> info
49    
50      val info' : attribs -> GeneralParams.info ->      val info' : attribs -> GeneralParams.info ->
51          { sourcepath: SrcPath.file,          { sourcepath: SrcPath.file,
52            group: SrcPath.file * region,            group: SrcPath.file * region,
53            sh_spec: Sharing.request }            sh_spec: Sharing.request,
54              setup: string option * string option }
55          -> info          -> info
56    
57      val sourcepath : info -> SrcPath.file      val sourcepath : info -> SrcPath.file
# Line 66  Line 68 
68      val sh_mode : info -> Sharing.mode      val sh_mode : info -> Sharing.mode
69      val attribs : info -> attribs      val attribs : info -> attribs
70      val lastseen : info -> TStamp.t      val lastseen : info -> TStamp.t
71        val setup : info -> string option * string option
72    
73      (* forget a parse tree that we are done with *)      (* forget a parse tree that we are done with *)
74      val forgetParsetree : info -> unit      val forgetParsetree : info -> unit
# Line 128  Line 131 
131                    mkBinname: unit -> string,                    mkBinname: unit -> string,
132                    persinfo: persinfo,                    persinfo: persinfo,
133                    sh_spec: Sharing.request,                    sh_spec: Sharing.request,
134                    attribs: attribs }                    attribs: attribs,
135                      setup: string option * string option }
136    
137      type ord_key = info      type ord_key = info
138    
# Line 147  Line 151 
151      fun set_sh_mode (INFO { persinfo = PERS { sh_mode, ... }, ... }, m) =      fun set_sh_mode (INFO { persinfo = PERS { sh_mode, ... }, ... }, m) =
152          sh_mode := m          sh_mode := m
153      fun attribs (INFO { attribs = a, ... }) = a      fun attribs (INFO { attribs = a, ... }) = a
154        fun setup (INFO { setup = s, ... }) = s
155    
156      fun gerror (gp: GeneralParams.info) = GroupReg.error (#groupreg gp)      fun gerror (gp: GeneralParams.info) = GroupReg.error (#groupreg gp)
157    
# Line 205  Line 210 
210      end      end
211    
212      fun info' attribs (gp: GeneralParams.info) arg = let      fun info' attribs (gp: GeneralParams.info) arg = let
213          val { sourcepath, group = gr as (group, region), sh_spec } = arg          val { sourcepath, group = gr as (group, region), sh_spec, setup } = arg
214          val policy = #fnpolicy (#param gp)          val policy = #fnpolicy (#param gp)
215          fun mkSkelname () = FNP.mkSkelName policy sourcepath          fun mkSkelname () = FNP.mkSkelName policy sourcepath
216          fun mkBinname () = FNP.mkBinName policy sourcepath          fun mkBinname () = FNP.mkBinName policy sourcepath
# Line 249  Line 254 
254                 mkBinname = mkBinname,                 mkBinname = mkBinname,
255                 persinfo = persinfo (),                 persinfo = persinfo (),
256                 sh_spec = sh_spec,                 sh_spec = sh_spec,
257                 attribs = attribs }                 attribs = attribs,
258                   setup = setup }
259      end      end
260    
261      val info = info' { split = true, extra_compenv = NONE,      val info = info' { split = true, extra_compenv = NONE,

Legend:
Removed from v.666  
changed lines
  Added in v.677

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