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 386, Thu Jul 22 07:35:50 1999 UTC revision 387, Mon Jul 26 02:44:20 1999 UTC
# Line 23  Line 23 
23      val info : GeneralParams.info ->      val info : GeneralParams.info ->
24          { sourcepath: SrcPath.t,          { sourcepath: SrcPath.t,
25            group: SrcPath.t * region,            group: SrcPath.t * region,
26            share: bool option,            sh_spec: Sharing.request,
27            split: bool }            split: bool }
28          -> info          -> info
29    
# Line 35  Line 35 
35      val parsetree : GeneralParams.info -> info -> (ast * source) option      val parsetree : GeneralParams.info -> info -> (ast * source) option
36      val exports : GeneralParams.info -> info  -> SymbolSet.set option      val exports : GeneralParams.info -> info  -> SymbolSet.set option
37      val skeleton : GeneralParams.info -> info -> Skeleton.decl option      val skeleton : GeneralParams.info -> info -> Skeleton.decl option
38      val share : info -> bool option      val sh_spec : info -> Sharing.request
39        val set_sh_mode : info * Sharing.mode -> unit
40        val sh_mode : info -> Sharing.mode
41      val split : info -> bool      val split : info -> bool
42      val lastseen : info -> TStamp.t      val lastseen : info -> TStamp.t
43    
# Line 78  Line 80 
80                    mkSkelname: unit -> string,                    mkSkelname: unit -> string,
81                    mkBinname: unit -> string,                    mkBinname: unit -> string,
82                    persinfo: persinfo,                    persinfo: persinfo,
83                    share: bool option,                    sh_spec: Sharing.request,
84                      sh_mode: Sharing.mode option ref,
85                    split: bool }                    split: bool }
86    
87      type ord_key = info      type ord_key = info
# Line 86  Line 89 
89      fun sourcepath (INFO { sourcepath = sp, ... }) = sp      fun sourcepath (INFO { sourcepath = sp, ... }) = sp
90      fun skelname (INFO { mkSkelname = msn, ... }) = msn ()      fun skelname (INFO { mkSkelname = msn, ... }) = msn ()
91      fun binname (INFO { mkBinname = mbn, ... }) = mbn ()      fun binname (INFO { mkBinname = mbn, ... }) = mbn ()
92      fun share (INFO { share = s, ... }) = s      fun sh_spec (INFO { sh_spec = s, ... }) = s
93        fun sh_mode (INFO { sh_mode = ref (SOME m), ... }) = m
94          | sh_mode _ = EM.impossible "SmlInfo.sh_mode: "
95        fun set_sh_mode (INFO { sh_mode as ref NONE, ... }, m) = sh_mode := SOME m
96          | set_sh_mode _ = EM.impossible "SmlInfo.set_sh_mode"
97      fun split (INFO { split = s, ... }) = s      fun split (INFO { split = s, ... }) = s
98    
99      fun gerror (gp: GeneralParams.info) = GroupReg.error (#groupreg gp)      fun gerror (gp: GeneralParams.info) = GroupReg.error (#groupreg gp)
# Line 135  Line 142 
142      end      end
143    
144      fun info (gp: GeneralParams.info) arg = let      fun info (gp: GeneralParams.info) arg = let
145          val { sourcepath, group = gr as (group, region), share, split } = arg          val { sourcepath, group = gr as (group, region), sh_spec, split } = arg
146          val policy = #fnpolicy (#param gp)          val policy = #fnpolicy (#param gp)
147          fun mkSkelname () = FNP.mkSkelName policy sourcepath          fun mkSkelname () = FNP.mkSkelName policy sourcepath
148          fun mkBinname () = FNP.mkBinName policy sourcepath          fun mkBinname () = FNP.mkBinName policy sourcepath
# Line 176  Line 183 
183                 mkSkelname = mkSkelname,                 mkSkelname = mkSkelname,
184                 mkBinname = mkBinname,                 mkBinname = mkBinname,
185                 persinfo = persinfo (),                 persinfo = persinfo (),
186                 share = share,                 sh_spec = sh_spec,
187                   sh_mode = ref NONE,
188                 split = split }                 split = split }
189      end      end
190    

Legend:
Removed from v.386  
changed lines
  Added in v.387

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