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

Diff of /sml/trunk/src/cm/semant/members.sml

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

revision 335, Thu Jun 17 08:21:08 1999 UTC revision 336, Thu Jun 17 09:23:20 1999 UTC
# Line 33  Line 33 
33    
34      val subgroups : collection -> (AbsPath.t * GroupGraph.group) list      val subgroups : collection -> (AbsPath.t * GroupGraph.group) list
35    
36      val num_look : collection -> string -> int      val num_look : GeneralParams.info -> collection -> string -> int
37        val cm_look : GeneralParams.info -> collection -> string -> bool
38      val ml_look : collection -> symbol -> bool      val ml_look : collection -> symbol -> bool
     val cm_look : collection -> string -> bool  
39  end  end
40    
41  structure MemberCollection :> MEMBERCOLLECTION = struct  structure MemberCollection :> MEMBERCOLLECTION = struct
# Line 98  Line 98 
98      fun expandOne (gp, rparse) arg = let      fun expandOne (gp, rparse) arg = let
99          val primconf = #primconf (#param gp)          val primconf = #primconf (#param gp)
100          val { sourcepath, group, class } = arg          val { sourcepath, group, class } = arg
101            val class = Option.map (String.map Char.toLower) class
102          val error = GroupReg.error (#groupreg gp) group          val error = GroupReg.error (#groupreg gp) group
103          fun noPrimitive () = let          fun noPrimitive () = let
104              fun e0 s = error EM.COMPLAIN s EM.nullErrorBody              fun e0 s = error EM.COMPLAIN s EM.nullErrorBody
# Line 171  Line 172 
172    
173      fun subgroups (COLLECTION { subgroups = sg, ... }) = sg      fun subgroups (COLLECTION { subgroups = sg, ... }) = sg
174    
175      fun num_look (c: collection) (s: string) = 0      local
176            fun symenv_look (gp: GeneralParams.info) (c: collection) s =
177      fun cm_look (c: collection) (s: string) = false              SymVal.look (#symenv (#param gp)) s
178        in
179            fun num_look gp c s = getOpt (symenv_look gp c s, 0)
180            fun cm_look gp c s = isSome (symenv_look gp c s)
181        end
182    
183      fun ml_look (COLLECTION { imports, localdefs, ... }) s =      fun ml_look (COLLECTION { imports, localdefs, ... }) s =
184          isSome (SymbolMap.find (imports, s)) orelse          isSome (SymbolMap.find (imports, s)) orelse

Legend:
Removed from v.335  
changed lines
  Added in v.336

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