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/paths/pathconfig.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/paths/pathconfig.sml

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

revision 376, Wed Jul 7 04:25:11 1999 UTC revision 377, Wed Jul 7 06:55:18 1999 UTC
# Line 38  Line 38 
38    
39      fun new () = ref StringMap.empty      fun new () = ref StringMap.empty
40    
41      fun configAnchor m s =      fun configAnchor m s = let
42          case StringMap.find (!m, s) of          fun look () = StringMap.find (!m, s)
43            fun get () =
44                case look () of
45                    SOME v => v
46                  (* Return a bogus value here that will later cause a failure
47                   * when actually opening a file.  We don't want to fail here
48                   * because the anchor may come back to life later. *)
49                  | NONE => concat ["$$undefined<", s, ">"]
50        in
51            case look () of
52              NONE => NONE              NONE => NONE
53            | SOME _ => SOME (fn () => valOf (StringMap.find (!m, s)))            | SOME _ => SOME get
54        end
55    
56      fun processSpecFile (m, f) = let      fun processSpecFile (m, f) = let
57          fun work s = let          fun work s = let

Legend:
Removed from v.376  
changed lines
  Added in v.377

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