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 770, Sun Dec 24 20:06:28 2000 UTC revision 771, Sat Dec 30 13:06:09 2000 UTC
# Line 51  Line 51 
51      val num_look : GeneralParams.info -> collection -> string -> int      val num_look : GeneralParams.info -> collection -> string -> int
52      val cm_look : GeneralParams.info -> collection -> string -> bool      val cm_look : GeneralParams.info -> collection -> string -> bool
53      val ml_look : collection -> symbol -> bool      val ml_look : collection -> symbol -> bool
54    
55        val has_smlfiles : collection -> bool
56  end  end
57    
58  structure MemberCollection :> MEMBERCOLLECTION = struct  structure MemberCollection :> MEMBERCOLLECTION = struct
# Line 256  Line 258 
258          isSome (SymbolMap.find (imports, s)) orelse          isSome (SymbolMap.find (imports, s)) orelse
259          isSome (SymbolMap.find (localdefs, s))          isSome (SymbolMap.find (localdefs, s))
260        | ml_look ERRORCOLLECTON _ = true        | ml_look ERRORCOLLECTON _ = true
261    
262        fun has_smlfiles (COLLECTION { smlfiles = [], ... }) = false
263          | has_smlfiles ERRORCOLLECTION = false
264          | has_smlfiles _ = true
265  end  end

Legend:
Removed from v.770  
changed lines
  Added in v.771

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