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 267, Sat May 8 13:53:45 1999 UTC revision 268, Mon May 10 07:00:02 1999 UTC
# Line 14  Line 14 
14  signature MEMBERCOLLECTION = sig  signature MEMBERCOLLECTION = sig
15    
16      type collection      type collection
     type environment  
17    
     val empty : collection  
18      val expandOne : AbsPath.t * string option -> collection      val expandOne : AbsPath.t * string option -> collection
19      val sequential : collection * collection -> collection      val sequential : collection * collection -> collection
20    
21      val envOf : collection -> environment      val num_look : collection -> string -> int
22        val ml_look : collection -> GenericVC.Symbol.symbol -> bool
23      val num_look : environment -> string -> int      val cm_look : collection -> string -> bool
     val ml_look : environment -> GenericVC.Symbol.symbol -> bool  
     val cm_look : environment -> string -> bool  
24  end  end
25    
26  structure MemberCollection :> MEMBERCOLLECTION = struct  structure MemberCollection :> MEMBERCOLLECTION = struct
27    
28      type collection = unit      type collection = unit
     type environment = unit  
29    
     val empty = ()  
30      fun expandOne (f: AbsPath.t, c: string option) = ()      fun expandOne (f: AbsPath.t, c: string option) = ()
31      fun sequential (c1: collection, c2: collection) = ()      fun sequential (c1: collection, c2: collection) = ()
32    
33      fun envOf (c: collection) = ()      fun num_look (c: collection) (s: string) = 0
34        fun ml_look (c: collection) (s: GenericVC.Symbol.symbol) = false
35      fun num_look (e: environment) (s: string) = 0      fun cm_look (c: collection) (s: string) = false
     fun ml_look (e: environment) (s: GenericVC.Symbol.symbol) = false  
     fun cm_look (e: environment) (s: string) = false  
36  end  end

Legend:
Removed from v.267  
changed lines
  Added in v.268

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