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

Diff of /sml/trunk/src/cm/parse/parse.sml

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

revision 517, Wed Jan 12 03:17:34 2000 UTC revision 518, Wed Jan 12 06:26:25 2000 UTC
# Line 7  Line 7 
7   *)   *)
8  signature PARSE = sig  signature PARSE = sig
9      val parse :      val parse :
10            (string -> bool) ->
11          GroupReg.groupreg option ->          GroupReg.groupreg option ->
12          GeneralParams.param -> bool option ->          GeneralParams.param -> bool option ->
13          SrcPath.t -> (CMSemant.group * GeneralParams.info) option          SrcPath.t -> (CMSemant.group * GeneralParams.info) option
# Line 55  Line 56 
56          (sgc := #1 (SrcPathMap.remove (!sgc, l)))          (sgc := #1 (SrcPathMap.remove (!sgc, l)))
57          handle LibBase.NotFound => ()          handle LibBase.NotFound => ()
58    
59      fun parse gropt param stabflag group = let      fun parse load_plugin gropt param stabflag group = let
60    
61          val stabthis = isSome stabflag          val stabthis = isSome stabflag
62          val staball = stabflag = SOME true          val staball = stabflag = SOME true
# Line 233  Line 234 
234                           CMSemant.emptyGroup group)                           CMSemant.emptyGroup group)
235    
236                      fun doMember ({ name, mkpath }, p1, p2, c) =                      fun doMember ({ name, mkpath }, p1, p2, c) =
237                          CMSemant.member (ginfo, recParse (p1, p2))                          CMSemant.member (ginfo, recParse (p1, p2), load_plugin)
238                            { name = name, mkpath = mkpath,                            { name = name, mkpath = mkpath,
239                              class = c, group = (group, (p1, p2)),                              class = c, group = (group, (p1, p2)),
240                              context = context }                              context = context }

Legend:
Removed from v.517  
changed lines
  Added in v.518

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