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 839, Thu Jun 7 20:28:44 2001 UTC revision 840, Fri Jun 15 19:05:19 2001 UTC
# Line 55  Line 55 
55      val ml_look : collection -> symbol -> bool      val ml_look : collection -> symbol -> bool
56    
57      val has_smlfiles : collection -> bool      val has_smlfiles : collection -> bool
58        val is_errorcollection : collection -> bool
59  end  end
60    
61  structure MemberCollection :> MEMBERCOLLECTION = struct  structure MemberCollection :> MEMBERCOLLECTION = struct
# Line 267  Line 268 
268      fun has_smlfiles (COLLECTION { smlfiles = [], ... }) = false      fun has_smlfiles (COLLECTION { smlfiles = [], ... }) = false
269        | has_smlfiles ERRORCOLLECTION = false        | has_smlfiles ERRORCOLLECTION = false
270        | has_smlfiles _ = true        | has_smlfiles _ = true
271    
272        fun is_errorcollection ERRORCOLLECTION = true
273          | is_errorcollection (COLLECTION _) = false
274  end  end

Legend:
Removed from v.839  
changed lines
  Added in v.840

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