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

Diff of /sml/trunk/src/cm/semant/group-reg.sml

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

revision 354, Fri Jun 25 08:36:12 1999 UTC revision 666, Fri Jun 16 08:27:00 2000 UTC
# Line 11  Line 11 
11      type groupreg      type groupreg
12    
13      val new : unit -> groupreg      val new : unit -> groupreg
14      val register : groupreg -> SrcPath.t * GenericVC.Source.inputSource -> unit      val register :
15      val lookup : groupreg -> SrcPath.t -> GenericVC.Source.inputSource          groupreg -> SrcPath.file * GenericVC.Source.inputSource -> unit
16      val registered : groupreg -> SrcPath.t -> bool      val lookup : groupreg -> SrcPath.file -> GenericVC.Source.inputSource
17        val registered : groupreg -> SrcPath.file -> bool
18      val error :      val error :
19          groupreg          groupreg
20          -> SrcPath.t * GenericVC.SourceMap.region          -> SrcPath.file * GenericVC.SourceMap.region
21          -> GenericVC.ErrorMsg.complainer          -> GenericVC.ErrorMsg.complainer
22  end  end
23    
# Line 28  Line 29 
29    
30      fun register gr (p, s) = gr := SrcPathMap.insert (!gr, p, s)      fun register gr (p, s) = gr := SrcPathMap.insert (!gr, p, s)
31      fun lookup gr p = valOf (SrcPathMap.find (!gr, p))      fun lookup gr p = valOf (SrcPathMap.find (!gr, p))
32            handle Option => raise Fail ("GroupReg.lookup " ^ SrcPath.descr p)
33      fun registered gr g = isSome (SrcPathMap.find (!gr, g))      fun registered gr g = isSome (SrcPathMap.find (!gr, g))
34      fun error gr (g, r) = GenericVC.ErrorMsg.error (lookup gr g) r      fun error gr (g, r) = GenericVC.ErrorMsg.error (lookup gr g) r
35  end  end

Legend:
Removed from v.354  
changed lines
  Added in v.666

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